--- a/src/HOL/Nat.thy Mon Aug 14 13:46:05 2006 +0200 +++ b/src/HOL/Nat.thy Mon Aug 14 13:46:06 2006 +0200 @@ -1047,10 +1047,4 @@ "1 = Suc 0" by simp -code_alias - "nat" "Nat.nat" - "0" "Nat.Zero" - "1" "Nat.One" - "Suc" "Nat.Suc" - end