Thu, 11 Oct 2007 23:03:51 +0200 | wenzelm | enabled Refute_Examples again; | changeset | files |
Thu, 11 Oct 2007 23:03:11 +0200 | wenzelm | local_axioms: impose hyps stemming from local consts as well | changeset | files |
Thu, 11 Oct 2007 21:44:28 +0200 | wenzelm | disabled Refute_Examples temporarily; | changeset | files |