src/ZF/ex/ROOT.ML
Thu, 16 Mar 1995 00:00:30 +0100 lcp Removed exception handlers, as they are now in ZF/Makefile.
Tue, 28 Feb 1995 10:53:56 +0100 lcp No longer calls maketest; instead, the Makefile writes the file
Wed, 07 Sep 1994 17:28:53 +0200 lcp addition of ZF/ex/twos_compl.thy
Wed, 17 Aug 1994 10:38:37 +0200 lcp ZF/ex/ROOT: added .ML to use command use "ex/twos_compl"
Mon, 15 Aug 1994 18:27:50 +0200 lcp ZF/ex/ROOT: changed "time_use" to "time_use_thy" to load CoUnit;
Fri, 12 Aug 1994 12:28:46 +0200 lcp installation of new inductive/datatype sections
Wed, 27 Jul 1994 16:03:16 +0200 lcp Addition of infinite branching datatypes
Fri, 06 May 1994 15:35:35 +0200 lcp renaming/removal of filenames to correct case
Wed, 01 Dec 1993 17:40:27 +0100 lcp ZF/ex/ROOT: changed many time_use calls to time_use_thy or else deleted
Tue, 16 Nov 1993 14:26:15 +0100 clasohm changed use_thy's parameter to exact theory name
Mon, 15 Nov 1993 14:41:25 +0100 lcp changed all co- and co_ to co
Mon, 08 Nov 1993 17:52:24 +0100 lcp Minor changes; addition of counit.ML
Thu, 04 Nov 1993 14:12:31 +0100 clasohm renamed twos-compl.ML to twos_compl.ML
Fri, 22 Oct 1993 13:44:27 +0100 clasohm renamed some files
Fri, 15 Oct 1993 10:25:23 +0100 lcp ZF/ex/tf/tree,forest_unfold: streamlined the proofs
Wed, 06 Oct 1993 14:45:04 +0100 clasohm changed filenames to lower case name of theory the file contains
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