--- a/src/HOL/Set.thy Fri Nov 23 21:09:32 2007 +0100 +++ b/src/HOL/Set.thy Fri Nov 23 21:09:33 2007 +0100 @@ -17,7 +17,6 @@ global typedecl 'a set -arities set :: (type) type consts "{}" :: "'a set" ("{}")