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 |