| Wed, 07 May 2008 10:56:43 +0200 | berghofe | - Now uses Orderings as parent theory | changeset | files |
| Wed, 07 May 2008 10:56:41 +0200 | berghofe | Deleted instance "set :: (type) power" and moved instance | changeset | files |
| Wed, 07 May 2008 10:56:40 +0200 | berghofe | split_beta is now declared as monotonicity rule, to allow bounded | changeset | files |