re-added accidental omission
authorhaftmann
Fri Aug 27 13:55:23 2010 +0200 (2010-08-27)
changeset 38810361119ea62ee
parent 38809 7dc73a208722
child 38811 c3511b112595
re-added accidental omission
src/HOL/Library/Code_Natural.thy
     1.1 --- a/src/HOL/Library/Code_Natural.thy	Fri Aug 27 13:32:05 2010 +0200
     1.2 +++ b/src/HOL/Library/Code_Natural.thy	Fri Aug 27 13:55:23 2010 +0200
     1.3 @@ -9,7 +9,9 @@
     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 -{*newtype Natural = Natural Integer deriving (Eq, Show, Read);
     1.8 +{*import Data.Array.ST;
     1.9 +
    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);
    1.14 @@ -50,6 +52,7 @@
    1.15      | otherwise = (Natural k, Natural l) where (k, l) = quotRem n m;
    1.16  };*}
    1.17  
    1.18 +
    1.19  code_reserved Haskell Natural
    1.20  
    1.21  code_include Scala "Natural"