| Wed, 29 Nov 2006 15:44:58 +0100 | wenzelm | added export; | changeset | files |
| Wed, 29 Nov 2006 15:44:57 +0100 | wenzelm | tuned spaces/comments; | changeset | files |
| Wed, 29 Nov 2006 15:44:56 +0100 | wenzelm | simplified method setup; | changeset | files |
| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | changeset | files |
| Wed, 29 Nov 2006 15:44:46 +0100 | wenzelm | simplified method setup; | changeset | files |
| Wed, 29 Nov 2006 13:59:52 +0100 | webertj | clauses sorted according to term order (significant speedup in some cases) | changeset | files |
| Wed, 29 Nov 2006 04:11:18 +0100 | wenzelm | Assumption.assms_of: cterm; | changeset | files |