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
berghofe [Mon, 10 Dec 2001 15:32:10 +0100] rev 12447
Code generator for recursive functions.