log tests/subs_str.lig

age author description
2008-06-26 Adam Chlipala Proper subsignaturing for sub-structures