| Wed, 11 Jul 2007 11:51:12 +0200 | obua | changed sources for HOL-Complex-Matrix | changeset | files |
| Wed, 11 Jul 2007 11:49:56 +0200 | berghofe | Restored set notation in Multiset theory. | changeset | files |
| 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 |