| Tue, 07 Nov 2006 22:06:32 +0100 | krauss | untabified | file | diff | annotate |
| Mon, 06 Nov 2006 12:04:44 +0100 | krauss | minor cleanup | file | diff | annotate |
| Thu, 26 Oct 2006 15:46:39 +0200 | krauss | Removed debugging output | file | diff | annotate |
| Mon, 23 Oct 2006 17:46:11 +0200 | krauss | Fixed bug in the handling of congruence rules | 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 |
| Wed, 04 Oct 2006 14:17:38 +0200 | haftmann | insert replacing ins ins_int ins_string | 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 |