changeset 21172 | eea3c9048c7a |
parent 21147 | 737a94f047e3 |
child 21190 | 08ec81dfc7fb |
--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/fac.ML Sat Nov 04 19:25:38 2006 +0100 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/fac.ML Sat Nov 04 19:25:39 2006 +0100 @@ -10,7 +10,7 @@ | plus_nat Zero_nat y = y; fun times_nat (Succ_nat m) n = plus_nat n (times_nat m n) - | times_nat Zero_nat na = Zero_nat; + | times_nat Zero_nat n = Zero_nat; end; (*struct IntDef*)