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