--- a/src/FOLP/ex/Nat.thy Tue May 03 15:00:00 1994 +0200 +++ b/src/FOLP/ex/Nat.thy Tue May 03 15:14:54 1994 +0200 @@ -9,7 +9,7 @@ *) Nat = IFOLP + -types nat 0 +types nat arities nat :: term consts "0" :: "nat" ("0") Suc :: "nat=>nat"