src/ZF/ZF.thy

--- a/src/ZF/ZF.thy	Tue Apr 29 17:23:53 1997 +0200
+++ b/src/ZF/ZF.thy	Tue Apr 29 17:38:02 1997 +0200
@@ -149,8 +149,10 @@
   "@SUM"      :: [pttrn, i, i] => i        ("(3\\<Sigma> _\\<in>_./ _)" 10)
   "@Ball"     :: [pttrn, i, o] => o        ("(3\\<forall> _\\<in>_./ _)" 10)
   "@Bex"      :: [pttrn, i, o] => o        ("(3\\<exists> _\\<in>_./ _)" 10)
+(*
   "@Tuple"    :: [i, is] => i              ("\\<langle>(_,/ _)\\<rangle>")
   "@pttrn"    :: pttrns => pttrn           ("\\<langle>_\\<rangle>")
+*)
 
 
 defs