--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/bool_literal.ML Fri Aug 24 14:14:16 2007 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/bool_literal.ML Fri Aug 24 14:14:17 2007 +0200
@@ -1,7 +1,7 @@
structure HOL =
struct
-datatype boola = True | False;
+datatype boola = False | True;
fun anda x True = x
| anda x False = False
@@ -13,7 +13,7 @@
structure Nat =
struct
-datatype nat = Zero_nat | Suc of nat;
+datatype nat = Suc of nat | Zero_nat;
fun less_nat n (Suc m) = less_eq_nat n m
| less_nat n Zero_nat = HOL.False