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