| changeset 25056 | 743f3603ba8b |
| parent 24421 | acfb2413faa3 |
| child 25731 | b3e415b0cf5c |
--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/monotype.ML Tue Oct 16 17:06:21 2007 +0200 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/monotype.ML Tue Oct 16 17:07:40 2007 +0200 @@ -11,9 +11,14 @@ fun plus_nat (Suc m) n = plus_nat m (Suc n) | plus_nat Zero_nat n = n; -fun prod_case f1 (a, b) = f1 a b; +end; (*struct Nat*) -end; (*struct Nat*) +structure Product_Type = +struct + +fun split c (a, b) = c a b; + +end; (*struct Product_Type*) structure List = struct