--- a/src/HOLCF/IOA/NTP/Multiset.thy Thu Oct 12 18:09:06 2000 +0200
+++ b/src/HOLCF/IOA/NTP/Multiset.thy Thu Oct 12 18:38:23 2000 +0200
@@ -7,7 +7,7 @@
Should be done as a subtype and moved to a global place.
*)
-Multiset = Arith + Lemmas +
+Multiset = Lemmas +
types