| Wed, 11 Jul 2007 11:47:59 +0200 | obua | added dummy makestring function | changeset | files |
| Wed, 11 Jul 2007 11:47:24 +0200 | berghofe | Renamed inductive2 to inductive. | changeset | files |
| Wed, 11 Jul 2007 11:47:13 +0200 | obua | fixed for SML/NJ | changeset | files |
| Wed, 11 Jul 2007 11:46:44 +0200 | berghofe | Adapted to new inductive definition package. | changeset | files |
| Wed, 11 Jul 2007 11:46:05 +0200 | berghofe | Adapted to changes in Accessible_Part theory. | changeset | files |
| Wed, 11 Jul 2007 11:44:51 +0200 | berghofe | Function unify_consts moved from OldInductivePackage to PrimrecPackage. | changeset | files |
| Wed, 11 Jul 2007 11:43:31 +0200 | berghofe | New wrapper for defining inductive sets with new inductive | changeset | files |