diff -r 2a0e24c74593 -r f1434532a562 doc-src/IsarAdvanced/Codegen/Thy/examples/fac_case.ML
--- 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*)