| Mon, 15 Nov 1993 14:41:25 +0100 | lcp | changed all co- and co_ to co | file | diff | annotate |
| Mon, 08 Nov 1993 17:52:24 +0100 | lcp | Minor changes; addition of counit.ML | file | diff | annotate |
| 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 |