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
|