Tue, 24 Jun 2003 10:39:14 +0200 |
berghofe |
Added lift_map and subst_map.
|
file |
diff |
annotate
|
Wed, 23 Apr 2003 00:10:40 +0200 |
berghofe |
Eliminated most occurrences of rule_format attribute.
|
file |
diff |
annotate
|
Wed, 31 Oct 2001 22:05:37 +0100 |
wenzelm |
tuned notation (degree instead of dollar);
|
file |
diff |
annotate
|
Fri, 26 Oct 2001 16:49:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 26 Oct 2001 12:24:19 +0200 |
wenzelm |
tuned notation;
|
file |
diff |
annotate
|
Tue, 04 Sep 2001 21:10:57 +0200 |
wenzelm |
renamed "antecedent" case to "rule_context";
|
file |
diff |
annotate
|
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
|
Wed, 06 Sep 2000 08:04:41 +0200 |
nipkow |
less_induct -> nat_less_induct
|
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
|
Wed, 21 Jun 2000 18:14:28 +0200 |
wenzelm |
fixed deps;
|
file |
diff |
annotate
|
Thu, 06 Aug 1998 10:33:54 +0200 |
nipkow |
First steps towards termination of simply typed terms.
|
file |
diff |
annotate
|