log tests/coalesce.ur

age author description
2011-11-19 Adam Chlipala COALESCE