log tests/recReal.lac

age author description
2008-07-17 Adam Chlipala Untangle