--- a/src/HOL/Library/Efficient_Nat.thy Tue Feb 03 16:54:31 2009 +0100
+++ b/src/HOL/Library/Efficient_Nat.thy Tue Feb 03 19:37:00 2009 +0100
@@ -308,7 +308,7 @@
code_reserved Haskell Nat
code_type nat
- (Haskell "Nat")
+ (Haskell "Nat.Nat")
code_instance nat :: eq
(Haskell -)