src/Provers/hypsubst.ML
Fri, 01 Nov 1996 15:15:39 +0100 paulson Replaced min by Int.min
Thu, 06 Apr 1995 11:59:34 +0200 lcp Recoded with help from Toby to use rewriting instead of the
Fri, 11 Nov 1994 10:42:55 +0100 lcp Provers/hypsubst/REPEATN: deleted; using REPEAT_DETERM_N instead.
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