src/ZF/ex/Ramsey.thy
changeset 1401 0c439768f45c
parent 1155 928a16e02f9f
child 1478 2b8c2a7547ab
     1.1 --- a/src/ZF/ex/Ramsey.thy	Fri Dec 08 19:48:15 1995 +0100
     1.2 +++ b/src/ZF/ex/Ramsey.thy	Sat Dec 09 13:36:11 1995 +0100
     1.3 @@ -20,9 +20,9 @@
     1.4  
     1.5  Ramsey = Arith +
     1.6  consts
     1.7 -  Symmetric   		:: "i=>o"
     1.8 -  Atleast     		:: "[i,i]=>o"
     1.9 -  Clique,Indept,Ramsey	:: "[i,i,i]=>o"
    1.10 +  Symmetric   		:: i=>o
    1.11 +  Atleast     		:: [i,i]=>o
    1.12 +  Clique,Indept,Ramsey	:: [i,i,i]=>o
    1.13  
    1.14  defs
    1.15