| 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 |