changeset 31295 | 956592c2c701 |
parent 31205 | 98370b26c2ce |
child 31377 | a48f9ef9de15 |
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 {*