Wed, 07 May 2008 10:59:18 +0200 | berghofe | Instantiated parts_insert_substD to avoid problems with HO unification | changeset | files |
Wed, 07 May 2008 10:59:02 +0200 | berghofe | Replaced blast by fast in proof of parts_singleton, since blast looped | changeset | files |
Wed, 07 May 2008 10:57:19 +0200 | berghofe | Adapted to encoding of sets as predicates | changeset | files |