Tue, 10 Apr 2007 14:11:01 +0200 | krauss | Moving "FunDef" up in the HOL development graph, since it is independent from "Recdef" and "Datatype" now. | file | diff | annotate |
Tue, 07 Nov 2006 22:06:32 +0100 | krauss | untabified | 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 |
Mon, 05 Jun 2006 14:26:07 +0200 | krauss | HOL/Tools/function_package: Added support for mutual recursive definitions. | file | diff | annotate |