log tests/subs_sig.lig

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