Mon, 01 Aug 1994 17:34:57 +0200 |
lcp |
trivial whitespace change
|
file |
diff |
annotate
|
Tue, 26 Jul 1994 14:02:16 +0200 |
lcp |
Misc minor updates
|
file |
diff |
annotate
|
Fri, 15 Jul 1994 13:34:31 +0200 |
clasohm |
added thy_name to Datatype_Fun's parameter
|
file |
diff |
annotate
|
Fri, 01 Jul 1994 11:04:12 +0200 |
clasohm |
changed syntax of datatype declaration
|
file |
diff |
annotate
|
Thu, 17 Mar 1994 12:36:58 +0100 |
lcp |
Improved layout for inductive defs
|
file |
diff |
annotate
|
Thu, 28 Oct 1993 11:32:37 +0100 |
lcp |
minor changes e.g. datatype_elims
|
file |
diff |
annotate
|
Fri, 22 Oct 1993 11:42:02 +0100 |
lcp |
sample datatype defs now use datatype_intrs, datatype_elims
|
file |
diff |
annotate
|
Fri, 15 Oct 1993 10:25:23 +0100 |
lcp |
ZF/ex/tf/tree,forest_unfold: streamlined the proofs
|
file |
diff |
annotate
|