| Wed, 04 May 2005 18:50:21 +0200 | berghofe | Added eta_long_conversion. | changeset | files |
| Wed, 04 May 2005 10:44:53 +0200 | paulson | eta-expansion | changeset | files |
| Wed, 04 May 2005 10:42:43 +0200 | nipkow | fixed lin.arith | changeset | files |
| Wed, 04 May 2005 08:37:45 +0200 | nipkow | neqE applies even if the type is not one which partakes in linear arithmetic. | changeset | files |