--- a/Set.thy Wed Mar 02 12:26:55 1994 +0100 +++ b/Set.thy Thu Mar 17 11:27:29 1994 +0100 @@ -7,7 +7,7 @@ Set = Ord + types - set 1 + 'a set arities set :: (term) term