Mon, 10 Dec 2001 18:50:01 +0100 | wenzelm | obsolete; | changeset | files |
Mon, 10 Dec 2001 15:40:55 +0100 | berghofe | - Changed type of invoke_codegen | changeset | files |
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 |