Tue, 12 Sep 2000 22:13:23 +0200 |
wenzelm |
renamed atts: rulify to rule_format, elimify to elim_format;
|
file |
diff |
annotate
|
Thu, 07 Sep 2000 21:10:11 +0200 |
wenzelm |
updated attribute names;
|
file |
diff |
annotate
|
Sat, 02 Sep 2000 21:56:24 +0200 |
wenzelm |
HOL/Lambda: converted into new-style theory and document;
|
file |
diff |
annotate
|
Fri, 01 Sep 2000 00:30:25 +0200 |
wenzelm |
converted Lambda scripts;
|
file |
diff |
annotate
|
Tue, 29 Aug 2000 00:57:24 +0200 |
wenzelm |
Lambda/InductTermi made new-style theory;
|
file |
diff |
annotate
|
Sat, 19 Aug 2000 12:47:16 +0200 |
wenzelm |
fixed text;
|
file |
diff |
annotate
|
Thu, 17 Aug 2000 18:58:49 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 17 Aug 2000 10:34:52 +0200 |
wenzelm |
converted to new-style theory;
|
file |
diff |
annotate
|
Fri, 23 Jun 2000 12:24:37 +0200 |
berghofe |
Subject reduction and strong normalization of simply-typed lambda terms.
|
file |
diff |
annotate
|