| Mon, 11 Dec 2006 19:05:23 +0100 | wenzelm | added use_file; | changeset | files |
| Mon, 11 Dec 2006 19:05:20 +0100 | wenzelm | load secure.ML after symbol.ML, when default output is active; | changeset | files |
| Mon, 11 Dec 2006 16:58:19 +0100 | webertj | ordered lists instead of tables for resolving hyps; speedup | changeset | files |
| Mon, 11 Dec 2006 16:53:00 +0100 | berghofe | nominal_primrec now prints initial proof state. | changeset | files |