| Thu, 05 May 2005 11:58:59 +0200 | dixon | lucas - made clean unify smash unifiers so that when we get flex-flex constraints subst does not barf. Also added fix_vars_upto_idx to IsaND. | changeset | files |
| Thu, 05 May 2005 11:56:00 +0200 | dixon | lucas - added update node function. | changeset | files |
| Wed, 04 May 2005 18:50:39 +0200 | berghofe | Added eta_long attribute. | changeset | files |
| 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 |
| Wed, 04 May 2005 08:36:10 +0200 | nipkow | Fixing a problem with lin.arith. | changeset | files |