log tests/subs_str.lac

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