--- a/src/CCL/Set.thy Mon Feb 10 14:33:47 2014 +0100
+++ b/src/CCL/Set.thy Mon Feb 10 17:20:11 2014 +0100
@@ -7,7 +7,7 @@
declare [[eta_contract]]
typedecl 'a set
-arities set :: ("term") "term"
+instance set :: ("term") "term" ..
consts
Collect :: "['a => o] => 'a set" (*comprehension*)