src/ZF/nat.ML
Mon, 15 Nov 1993 14:41:25 +0100 lcp changed all co- and co_ to co
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