src/ZF/ex/prop.ML
Fri, 22 Oct 1993 11:42:02 +0100 lcp sample datatype defs now use datatype_intrs, datatype_elims
Thu, 30 Sep 1993 10:54:01 +0100 lcp ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip