| 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 |