log tests/rec2.lac

age author description
2008-07-17 Adam Chlipala Compiled mutual 'val rec'