
diff -r 79a40605efce -r 956592c2c701 src/HOL/Library/Efficient_Nat.thy
--- a/src/HOL/Library/Efficient_Nat.thy	Fri May 29 17:27:00 2009 +0200
+++ b/src/HOL/Library/Efficient_Nat.thy	Sat May 30 08:16:44 2009 +0200
@@ -317,7 +317,7 @@
 
 setup {*
   fold (Numeral.add_code @{const_name number_nat_inst.number_of_nat}
-    true false) ["SML", "OCaml", "Haskell"]
+    false true) ["SML", "OCaml", "Haskell"]
 *}
 
 text {*




