| 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 |
| Mon, 10 Dec 2001 15:30:18 +0100 | berghofe | Code generator for datatypes. | changeset | files |
| Mon, 10 Dec 2001 15:29:16 +0100 | berghofe | Moved contents to files datatype_codegen.ML and recfun_codegen.ML | changeset | files |