Thu, 11 Oct 2007 21:44:28 +0200 | wenzelm | disabled Refute_Examples temporarily; | changeset | files |
Thu, 11 Oct 2007 21:10:43 +0200 | wenzelm | local_theory: incorporated consts into axioms; | changeset | files |
Thu, 11 Oct 2007 21:10:42 +0200 | wenzelm | removed unused/impure quiet_mode; | changeset | files |