log tests/rec.lac

age author description
2008-07-17 Adam Chlipala Parsing and elaborating (non-mutual) 'val rec'