| 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 |
| Tue, 02 Oct 2007 22:23:30 +0200 | wenzelm | removed unused add_defss; | changeset | files |
| Tue, 02 Oct 2007 22:23:28 +0200 | wenzelm | tuned internal inductive interface; | changeset | files |
| Tue, 02 Oct 2007 22:23:26 +0200 | wenzelm | tuned internal interfaces: flags record, added kind for results; | changeset | files |