Mon, 16 Oct 1995 16:32:56 +0100 |
paulson |
Added the new Limit.{thy,ML} example
|
file |
diff |
annotate
|
Thu, 16 Mar 1995 00:00:30 +0100 |
lcp |
Removed exception handlers, as they are now in ZF/Makefile.
|
file |
diff |
annotate
|
Tue, 28 Feb 1995 10:53:56 +0100 |
lcp |
No longer calls maketest; instead, the Makefile writes the file
|
file |
diff |
annotate
|
Wed, 07 Sep 1994 17:28:53 +0200 |
lcp |
addition of ZF/ex/twos_compl.thy
|
file |
diff |
annotate
|
Wed, 17 Aug 1994 10:38:37 +0200 |
lcp |
ZF/ex/ROOT: added .ML to use command use "ex/twos_compl"
|
file |
diff |
annotate
|
Mon, 15 Aug 1994 18:27:50 +0200 |
lcp |
ZF/ex/ROOT: changed "time_use" to "time_use_thy" to load CoUnit;
|
file |
diff |
annotate
|
Fri, 12 Aug 1994 12:28:46 +0200 |
lcp |
installation of new inductive/datatype sections
|
file |
diff |
annotate
|
Wed, 27 Jul 1994 16:03:16 +0200 |
lcp |
Addition of infinite branching datatypes
|
file |
diff |
annotate
|
Fri, 06 May 1994 15:35:35 +0200 |
lcp |
renaming/removal of filenames to correct case
|
file |
diff |
annotate
|
Wed, 01 Dec 1993 17:40:27 +0100 |
lcp |
ZF/ex/ROOT: changed many time_use calls to time_use_thy or else deleted
|
file |
diff |
annotate
|
Tue, 16 Nov 1993 14:26:15 +0100 |
clasohm |
changed use_thy's parameter to exact theory name
|
file |
diff |
annotate
|
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
|