| Sat, 17 Sep 2005 12:51:03 +0200 | wenzelm | obsolete; | changeset | files |
| Sat, 17 Sep 2005 12:50:57 +0200 | wenzelm | plain test session, includes example; | changeset | files |
| Sat, 17 Sep 2005 12:18:08 +0200 | wenzelm | theory_to_proof: check theory of initial proof state, which must not be changed; | changeset | files |
| Sat, 17 Sep 2005 12:18:07 +0200 | wenzelm | added auto_fix (from proof.ML); | changeset | files |