src/ZF/upair.thy

--- a/src/ZF/upair.thy	Sun Oct 14 22:07:01 2001 +0200
+++ b/src/ZF/upair.thy	Sun Oct 14 22:08:29 2001 +0200
@@ -8,6 +8,6 @@
 files "Tools/typechk":
 
 setup TypeCheck.setup
-setup Rulify.setup
+declare atomize_ball [symmetric, rulify]
 
 end