| Wed, 07 May 2008 10:56:49 +0200 | berghofe | - Function dec in Trancl_Tac must eta-contract relation before calling | changeset | files |
| 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 |