diff -r 6c29cfab679c -r 9a449a91425d src/HOL/IOA/NTP/Multiset.thy
--- a/src/HOL/IOA/NTP/Multiset.thy	Sun Nov 12 16:29:12 1995 +0100
+++ b/src/HOL/IOA/NTP/Multiset.thy	Mon Nov 13 12:06:57 1995 +0100
@@ -7,7 +7,7 @@
 Should be done as a subtype and moved to a global place.
 *)
 
-Multiset = Arith + "Lemmas" +
+Multiset = Arith + Lemmas +
 
 types