berghofe [Wed, 11 Jul 2007 11:52:45 +0200] rev 23776
renamed inductive2 to inductive.
berghofe [Wed, 11 Jul 2007 11:52:28 +0200] rev 23775
Renamed inductive2 to inductive.
berghofe [Wed, 11 Jul 2007 11:52:00 +0200] rev 23774
Hide member constant.
berghofe [Wed, 11 Jul 2007 11:51:15 +0200] rev 23773
Reverted renaming of "member".
obua [Wed, 11 Jul 2007 11:51:12 +0200] rev 23772
changed sources for HOL-Complex-Matrix
berghofe [Wed, 11 Jul 2007 11:49:56 +0200] rev 23771
Restored set notation in Multiset theory.
obua [Wed, 11 Jul 2007 11:47:59 +0200] rev 23770
added dummy makestring function
berghofe [Wed, 11 Jul 2007 11:47:24 +0200] rev 23769
Renamed inductive2 to inductive.
obua [Wed, 11 Jul 2007 11:47:13 +0200] rev 23768
fixed for SML/NJ
berghofe [Wed, 11 Jul 2007 11:46:44 +0200] rev 23767
Adapted to new inductive definition package.