1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/examples/monotype.ML Tue Oct 16 17:06:21 2007 +0200
1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/monotype.ML Tue Oct 16 17:07:40 2007 +0200
1.3 @@ -11,9 +11,14 @@
1.4 fun plus_nat (Suc m) n = plus_nat m (Suc n)
1.5 | plus_nat Zero_nat n = n;
1.6
1.7 -fun prod_case f1 (a, b) = f1 a b;
1.8 +end; (*struct Nat*)
1.9
1.10 -end; (*struct Nat*)
1.11 +structure Product_Type =
1.12 +struct
1.13 +
1.14 +fun split c (a, b) = c a b;
1.15 +
1.16 +end; (*struct Product_Type*)
1.17
1.18 structure List =
1.19 struct