Tue, 10 Apr 2007 11:12:42 +0200 |
krauss |
tuned
|
file |
diff |
annotate
|
Sat, 07 Apr 2007 18:54:30 +0200 |
krauss |
removed obsolete workarounds
|
file |
diff |
annotate
|
Mon, 22 Jan 2007 17:29:43 +0100 |
krauss |
* Preliminary implementation of tail recursion
|
file |
diff |
annotate
|
Tue, 14 Nov 2006 22:16:55 +0100 |
wenzelm |
InductivePackage.add_inductive_i: canonical argument order;
|
file |
diff |
annotate
|
Tue, 07 Nov 2006 22:06:32 +0100 |
krauss |
untabified
|
file |
diff |
annotate
|
Thu, 26 Oct 2006 15:46:39 +0200 |
krauss |
Removed debugging output
|
file |
diff |
annotate
|
Wed, 18 Oct 2006 16:13:03 +0200 |
krauss |
Switched function package to use the new package for inductive predicates.
|
file |
diff |
annotate
|
Fri, 13 Oct 2006 18:28:51 +0200 |
berghofe |
Moved old inductive package to old_inductive_package.ML
|
file |
diff |
annotate
|
Wed, 13 Sep 2006 12:05:50 +0200 |
krauss |
Major update to function package, including new syntax and the (only theoretical)
|
file |
diff |
annotate
|