| Wed, 13 Sep 2006 12:05:50 +0200 | krauss | Major update to function package, including new syntax and the (only theoretical) | file | diff | annotate |
| Mon, 05 Jun 2006 14:26:07 +0200 | krauss | HOL/Tools/function_package: Added support for mutual recursive definitions. | file | diff | annotate |