log tests/subs_sig.urs

age author description
2008-08-31 Adam Chlipala Laconic -> Ur base tests/subs_sig.lig@3f618cf76061