log tests/subs_sig.lac

age author description
Thu, 26 Jun 2008 09:03:38 -0400 Adam Chlipala Proper subsignaturing for sub-signatures