--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/dirty_set.ML Thu Jan 04 15:29:44 2007 +0100
+++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/dirty_set.ML Thu Jan 04 17:11:09 2007 +0100
@@ -11,11 +11,11 @@
structure Codegen =
struct
-val dummy_set : (Nat.nat -> Nat.nat) list = Nat.Suc :: [];
+val dummy_set : (Nat.nat -> Nat.nat) list = (Nat.Suc :: []);
val foobar_set : Nat.nat list =
- Nat.Zero_nat ::
- (Nat.Suc Nat.Zero_nat :: (Nat.Suc (Nat.Suc Nat.Zero_nat) :: []));
+ (Nat.Zero_nat ::
+ (Nat.Suc Nat.Zero_nat :: (Nat.Suc (Nat.Suc Nat.Zero_nat) :: [])));
end; (*struct Codegen*)