# HG changeset patch
# User haftmann
# Date 1274435434 -7200
# Node ID 4a021f6be77c39d7149b8e05690ade32a6fcb0c9
# Parent  58a0757031dd6e62768ee7ada1afb2fa4e0099a2
nats in Haskell are readable

diff -r 58a0757031dd -r 4a021f6be77c src/HOL/Library/Efficient_Nat.thy
--- a/src/HOL/Library/Efficient_Nat.thy	Thu May 20 21:19:38 2010 -0700
+++ b/src/HOL/Library/Efficient_Nat.thy	Fri May 21 11:50:34 2010 +0200
@@ -252,7 +252,7 @@
 *}
 
 code_include Haskell "Nat" {*
-newtype Nat = Nat Integer deriving (Show, Eq);
+newtype Nat = Nat Integer deriving (Eq, Show, Read);
 
 instance Num Nat where {
   fromInteger k = Nat (if k >= 0 then k else 0);