--- a/src/ZF/ex/Ramsey.thy Mon Nov 28 19:48:30 1994 +0100
+++ b/src/ZF/ex/Ramsey.thy Tue Nov 29 00:31:31 1994 +0100
@@ -24,7 +24,7 @@
Atleast :: "[i,i]=>o"
Clique,Indept,Ramsey :: "[i,i,i]=>o"
-rules
+defs
Symmetric_def
"Symmetric(E) == (ALL x y. <x,y>:E --> <y,x>:E)"