src/ZF/AC/recfunAC16.thy

--- a/src/ZF/AC/recfunAC16.thy	Fri Dec 08 19:48:15 1995 +0100
+++ b/src/ZF/AC/recfunAC16.thy	Sat Dec 09 13:36:11 1995 +0100
@@ -9,7 +9,7 @@
 
 consts
 
-  recfunAC16              :: "[i, i, i, i] => i"
+  recfunAC16              :: [i, i, i, i] => i
 
 defs