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