log tests/subs_sig.lac

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