src/Provers/hypsubst.ML
Wed, 02 Nov 1994 12:44:03 +0100 lcp Provers/hypsubst: greatly simplified! No longer simulates a
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