src/ZF/ord.ML
Mon, 06 Dec 1993 10:55:48 +0100 lcp ZF/ord/Ord_Un,Ord_Int,Un_upper1_le,Un_upper2_le: new
Thu, 07 Oct 1993 10:48:16 +0100 lcp added ~: for "not in"
Wed, 06 Oct 1993 09:58:53 +0100 lcp Retrying yet again after network problems
Thu, 30 Sep 1993 10:10:21 +0100 lcp ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext
Fri, 17 Sep 1993 16:16:38 +0200 lcp Installation of new simplifier for ZF. Deleted all congruence rules not
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip