src/FOL/ex/nat.ML
Fri, 19 Nov 1993 11:35:59 +0100 lcp Trivial spacing corrections
Thu, 07 Oct 1993 09:49:46 +0100 lcp examples now use ~= for "not equals"
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip