Thu, 04 Nov 1993 14:12:31 +0100 | clasohm | renamed twos-compl.ML to twos_compl.ML | file | diff | annotate |
Fri, 22 Oct 1993 13:44:27 +0100 | clasohm | renamed some files | file | diff | annotate |
Fri, 15 Oct 1993 10:25:23 +0100 | lcp | ZF/ex/tf/tree,forest_unfold: streamlined the proofs | file | diff | annotate |
Wed, 06 Oct 1993 14:45:04 +0100 | clasohm | changed filenames to lower case name of theory the file contains | file | diff | annotate |
Thu, 30 Sep 1993 10:54:01 +0100 | lcp | ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |