src/HOL/Library/Efficient_Nat.thy
changeset 29793 86cac1fab613
parent 29657 881f328dfbb3
child 29815 9e94b7078fa5
     1.1 --- a/src/HOL/Library/Efficient_Nat.thy	Tue Feb 03 16:54:31 2009 +0100
     1.2 +++ b/src/HOL/Library/Efficient_Nat.thy	Tue Feb 03 19:37:00 2009 +0100
     1.3 @@ -308,7 +308,7 @@
     1.4  code_reserved Haskell Nat
     1.5  
     1.6  code_type nat
     1.7 -  (Haskell "Nat")
     1.8 +  (Haskell "Nat.Nat")
     1.9  
    1.10  code_instance nat :: eq
    1.11    (Haskell -)