| Mon, 28 Nov 2005 10:58:40 +0100 | wenzelm | added proof of measure_induct_rule; | changeset | files |
| Mon, 28 Nov 2005 07:17:07 +0100 | mengj | Added flags for setting and detecting whether a problem needs combinators. | changeset | files |
| Mon, 28 Nov 2005 07:16:16 +0100 | mengj | Only output types if !keep_types is true. | changeset | files |
| Mon, 28 Nov 2005 07:15:38 +0100 | mengj | Added two functions for CNF translation, used by other files. | changeset | files |
| Mon, 28 Nov 2005 07:15:13 +0100 | mengj | Added in four control flags for HOL and FOL translations. | changeset | files |
| Mon, 28 Nov 2005 07:14:12 +0100 | mengj | Slight modification to trace information. | changeset | files |