src/ZF/listfn.thy
Tue, 16 Nov 1993 14:24:21 +0100 clasohm made pseudo theories for all ML files;
Fri, 08 Oct 1993 14:11:12 +0100 wenzelm @List: replaced "args" by "is";
Thu, 30 Sep 1993 10:10:21 +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