--- a/src/HOLCF/IOA/NTP/Multiset.thy Sat Dec 01 18:51:46 2001 +0100 +++ b/src/HOLCF/IOA/NTP/Multiset.thy Sat Dec 01 18:52:32 2001 +0100 @@ -15,7 +15,7 @@ arities - multiset :: (term) term + multiset :: (type) type consts