--- a/src/ZF/ex/Ramsey.thy Thu May 31 17:57:02 2001 +0200
+++ b/src/ZF/ex/Ramsey.thy Thu May 31 18:28:23 2001 +0200
@@ -18,7 +18,7 @@
Available from the author: kaufmann@cli.com
*)
-Ramsey = Arith +
+Ramsey = Main +
consts
Symmetric :: i=>o
Atleast :: [i,i]=>o