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 {*