Wed, 11 Jul 2007 11:34:38 +0200 | berghofe | Moved unify_consts to PrimrecPackage. | changeset | files |
Wed, 11 Jul 2007 11:32:02 +0200 | berghofe | - Renamed inductive2 to inductive | changeset | files |
Wed, 11 Jul 2007 11:29:44 +0200 | berghofe | Adapted to changes in Predicate theory. | changeset | files |