log tests/sig_impl.lac

age author description
2008-06-29 Adam Chlipala More hardcore unification
2008-06-29 Adam Chlipala Implicit structure members