# HG changeset patch
# User haftmann
# Date 1282910123 -7200
# Node ID 361119ea62ee007f8a42e3689b845be89d1b0029
# Parent  7dc73a2087229ec4d168aa6fb522f1d35ee72c00
re-added accidental omission

diff -r 7dc73a208722 -r 361119ea62ee src/HOL/Library/Code_Natural.thy
--- a/src/HOL/Library/Code_Natural.thy	Fri Aug 27 13:32:05 2010 +0200
+++ b/src/HOL/Library/Code_Natural.thy	Fri Aug 27 13:55:23 2010 +0200
@@ -9,7 +9,9 @@
 section {* Alternative representation of @{typ code_numeral} for @{text Haskell} and @{text Scala} *}
 
 code_include Haskell "Natural"
-{*newtype Natural = Natural Integer deriving (Eq, Show, Read);
+{*import Data.Array.ST;
+
+newtype Natural = Natural Integer deriving (Eq, Show, Read);
 
 instance Num Natural where {
   fromInteger k = Natural (if k >= 0 then k else 0);
@@ -50,6 +52,7 @@
     | otherwise = (Natural k, Natural l) where (k, l) = quotRem n m;
 };*}
 
+
 code_reserved Haskell Natural
 
 code_include Scala "Natural"