| Thu, 16 Feb 2006 18:26:02 +0100 | wenzelm | added put_thms_internal; | changeset | files |
| Thu, 16 Feb 2006 18:26:01 +0100 | wenzelm | added abbrev element; | changeset | files |
| Thu, 16 Feb 2006 18:26:00 +0100 | wenzelm | added 'abbreviation'; | changeset | files |
| Thu, 16 Feb 2006 18:25:58 +0100 | wenzelm | added premsN; | changeset | files |
| Thu, 16 Feb 2006 18:25:58 +0100 | wenzelm | Proof.put_thms_internal; | changeset | files |
| Thu, 16 Feb 2006 18:25:56 +0100 | wenzelm | removed pointless replace; | changeset | files |
| Thu, 16 Feb 2006 18:25:55 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 16 Feb 2006 18:25:55 +0100 | wenzelm | dest_def: actually return beta-eta contracted equation; | changeset | files |
| Thu, 16 Feb 2006 18:25:54 +0100 | wenzelm | derived specifications: definition, abbreviation, axiomatization; | changeset | files |
| Thu, 16 Feb 2006 18:25:52 +0100 | wenzelm | updated; | changeset | files |
| Thu, 16 Feb 2006 14:59:57 +0100 | obua | cache improvements | changeset | files |
| Thu, 16 Feb 2006 04:17:19 +0100 | obua | variable counter is now also cached | changeset | files |