| Thu, 18 Aug 2005 11:17:50 +0200 | wenzelm | proof_to_theory_context: interaction flag; | changeset | files |
| Thu, 18 Aug 2005 11:17:49 +0200 | wenzelm | accomodate interface Proof vs. Method; | changeset | files |
| Thu, 18 Aug 2005 11:17:48 +0200 | wenzelm | added NO_CASES; | changeset | files |