| Wed, 07 Feb 2007 17:58:50 +0100 | berghofe | - Improved handling of monotonicity rules involving <= | changeset | files |
| Wed, 07 Feb 2007 17:51:38 +0100 | berghofe | Adapted to changes in Finite_Set theory. | changeset | files |
| Wed, 07 Feb 2007 17:46:03 +0100 | berghofe | Adapted to changes in Finite_Set theory. | changeset | files |
| Wed, 07 Feb 2007 17:45:03 +0100 | berghofe | - Adapted to new inductive definition package | changeset | files |
| Wed, 07 Feb 2007 17:44:07 +0100 | berghofe | Adapted to new inductive definition package. | changeset | files |
| Wed, 07 Feb 2007 17:41:11 +0100 | berghofe | Converted to predicate notation. | changeset | files |
| Wed, 07 Feb 2007 17:39:49 +0100 | berghofe | Adapted to changes in List theory. | changeset | files |