corrected bound/unbounded flag for nat numerals
authorhaftmann
Sat May 30 08:16:44 2009 +0200 (2009-05-30)
changeset 31295956592c2c701
parent 31294 79a40605efce
child 31296 ba296a58d813
corrected bound/unbounded flag for nat numerals
src/HOL/Library/Efficient_Nat.thy
     1.1 --- a/src/HOL/Library/Efficient_Nat.thy	Fri May 29 17:27:00 2009 +0200
     1.2 +++ b/src/HOL/Library/Efficient_Nat.thy	Sat May 30 08:16:44 2009 +0200
     1.3 @@ -317,7 +317,7 @@
     1.4  
     1.5  setup {*
     1.6    fold (Numeral.add_code @{const_name number_nat_inst.number_of_nat}
     1.7 -    true false) ["SML", "OCaml", "Haskell"]
     1.8 +    false true) ["SML", "OCaml", "Haskell"]
     1.9  *}
    1.10  
    1.11  text {*