src/Provers/hypsubst.ML
Wed, 19 Oct 1994 09:48:13 +0100 lcp new comments explaining abandoned change
Tue, 18 Jan 1994 16:37:12 +0100 lcp Updated refs to old Sign functions
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip