| 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 |
| Tue, 06 May 2008 23:33:05 +0200 | wenzelm | converted "General logic setup"; | changeset | files |
| Tue, 06 May 2008 00:13:01 +0200 | wenzelm | misc fixes and tuning; | changeset | files |
| Tue, 06 May 2008 00:12:03 +0200 | wenzelm | updated generated file; | changeset | files |