| Wed, 07 May 2008 10:56:36 +0200 | berghofe | - Now imports Fun rather than Orderings | changeset | files |
| Wed, 07 May 2008 10:56:35 +0200 | berghofe | Instantiated some rules to avoid problems with HO unification. | changeset | files |
| Wed, 07 May 2008 10:56:34 +0200 | berghofe | - Deleted code setup for finite and card | changeset | files |
| Wed, 07 May 2008 10:56:33 +0200 | berghofe | Instantiated subst rule to avoid problems with HO unification. | changeset | files |