| Wed, 11 Jul 2007 11:52:00 +0200 | berghofe | Hide member constant. | changeset | files |
| Wed, 11 Jul 2007 11:51:15 +0200 | berghofe | Reverted renaming of "member". | changeset | files |
| 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 |