| Wed, 03 Oct 2007 00:03:00 +0200 | wenzelm | skolem_cache: ignore internal theorems -- major speedup; | changeset | files |
| Wed, 03 Oct 2007 00:02:58 +0200 | wenzelm | major speedup by avoiding metis; | changeset | files |
| Wed, 03 Oct 2007 00:02:56 +0200 | wenzelm | modernized definitions; | changeset | files |
| Tue, 02 Oct 2007 22:23:31 +0200 | wenzelm | added add_defs_new, which strips sorts for axioms (presently inactive); | changeset | files |