log tests/rpat.lac

age author description
2008-07-31 Adam Chlipala Elaborating record patterns