log tests/concat.ur

age author description
2010-10-10 Adam Chlipala Hopeful fix for the Great Unification Bug