wenzelm [Mon, 10 Dec 2001 20:57:44 +0100] rev 12457
* HOL: bounded abstraction now uses syntax "%" / "\<lambda>" instead
of "lam" -- INCOMPATIBILITY;
wenzelm [Mon, 10 Dec 2001 19:14:56 +0100] rev 12456
obsolete;
wenzelm [Mon, 10 Dec 2001 18:52:15 +0100] rev 12455
removed additional blank line (confuses some versions of make);
wenzelm [Mon, 10 Dec 2001 18:50:01 +0100] rev 12454
obsolete;
berghofe [Mon, 10 Dec 2001 15:40:55 +0100] rev 12453
- Changed type of invoke_codegen
- Added combinators for sequences
berghofe [Mon, 10 Dec 2001 15:39:34 +0100] rev 12452
- Added code generator interface for types
- Changed type of invoke_codegen
berghofe [Mon, 10 Dec 2001 15:37:03 +0100] rev 12451
Fixed bug in function find_paths.
berghofe [Mon, 10 Dec 2001 15:36:05 +0100] rev 12450
Added example file for intuitionistic logic (taken from FOL).
berghofe [Mon, 10 Dec 2001 15:35:03 +0100] rev 12449
Added support for code generation.
berghofe [Mon, 10 Dec 2001 15:34:15 +0100] rev 12448
Recursive equations to be used for code generation are now registered
via RecfunCodegen.add