src/HOL/Library/Code_Natural.thy
changeset 38781 6b356e3687d2
parent 38775 741ca0c98f6f
child 38810 361119ea62ee
     1.1 --- a/src/HOL/Library/Code_Natural.thy	Thu Aug 26 13:44:50 2010 +0200
     1.2 +++ b/src/HOL/Library/Code_Natural.thy	Thu Aug 26 13:56:35 2010 +0200
     1.3 @@ -9,9 +9,7 @@
     1.4  section {* Alternative representation of @{typ code_numeral} for @{text Haskell} and @{text Scala} *}
     1.5  
     1.6  code_include Haskell "Natural"
     1.7 -{*import Data.Array.ST;
     1.8 -
     1.9 -newtype Natural = Natural Integer deriving (Eq, Show, Read);
    1.10 +{*newtype Natural = Natural Integer deriving (Eq, Show, Read);
    1.11  
    1.12  instance Num Natural where {
    1.13    fromInteger k = Natural (if k >= 0 then k else 0);