--- a/src/ZF/ex/Ramsey.thy Mon Feb 05 21:33:14 1996 +0100
+++ b/src/ZF/ex/Ramsey.thy Tue Feb 06 12:27:17 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: ZF/ex/ramsey.thy
+(* Title: ZF/ex/ramsey.thy
ID: $Id$
- Author: Lawrence C Paulson, Cambridge University Computer Laboratory
+ Author: Lawrence C Paulson, Cambridge University Computer Laboratory
Copyright 1992 University of Cambridge
Ramsey's Theorem (finite exponent 2 version)
@@ -20,9 +20,9 @@
Ramsey = Arith +
consts
- Symmetric :: i=>o
- Atleast :: [i,i]=>o
- Clique,Indept,Ramsey :: [i,i,i]=>o
+ Symmetric :: i=>o
+ Atleast :: [i,i]=>o
+ Clique,Indept,Ramsey :: [i,i,i]=>o
defs