src/FOL/ex/Nat.thy

--- a/src/FOL/ex/Nat.thy	Sun Jan 27 18:32:32 2008 +0100
+++ b/src/FOL/ex/Nat.thy	Sun Jan 27 20:04:30 2008 +0100
@@ -16,7 +16,7 @@
 consts
   0 :: nat    ("0")
   Suc :: "nat => nat"
-  rec :: "[nat, 'a, [nat,'a]=>'a] => 'a"
+  rec :: "[nat, 'a, [nat, 'a] => 'a] => 'a"
   add :: "[nat, nat] => nat"    (infixl "+" 60)
 
 axioms