| changeset 23850 | f1434532a562 |
| parent 22751 | 1bfd75c1f232 |
| child 24193 | 926dde4d96de |
--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/fac_case.ML Thu Jul 19 15:37:37 2007 +0200 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/fac_case.ML Thu Jul 19 21:47:34 2007 +0200 @@ -1,6 +1,3 @@ -structure ROOT = -struct - structure Nat = struct @@ -22,5 +19,3 @@ | Nat.Suc m => Nat.times_nat n (fac m)); end; (*struct Codegen*) - -end; (*struct ROOT*)