| Mon, 10 Dec 2001 15:39:34 +0100 | berghofe | - Added code generator interface for types | changeset | files |
| Mon, 10 Dec 2001 15:37:03 +0100 | berghofe | Fixed bug in function find_paths. | changeset | files |
| Mon, 10 Dec 2001 15:36:05 +0100 | berghofe | Added example file for intuitionistic logic (taken from FOL). | changeset | files |
| Mon, 10 Dec 2001 15:35:03 +0100 | berghofe | Added support for code generation. | changeset | files |
| Mon, 10 Dec 2001 15:34:15 +0100 | berghofe | Recursive equations to be used for code generation are now registered | changeset | files |
| Mon, 10 Dec 2001 15:32:10 +0100 | berghofe | Code generator for recursive functions. | changeset | files |
| Mon, 10 Dec 2001 15:31:30 +0100 | berghofe | Tuned header. | changeset | files |