log tests/modules.lac

age author description
2008-06-12 Adam Chlipala Matching structures in signatures
2008-06-12 Adam Chlipala Matching values in signatures
2008-06-12 Adam Chlipala Simple signature matching