src/CCL/Set.thy

--- a/src/CCL/Set.thy	Fri Sep 03 22:57:21 2010 +0200
+++ b/src/CCL/Set.thy	Fri Sep 03 23:54:48 2010 +0200
@@ -4,6 +4,8 @@
 imports FOL
 begin
 
+declare [[eta_contract]]
+
 typedecl 'a set
 arities set :: ("term") "term"