1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/examples/monotype.ML	Thu Jul 19 15:37:37 2007 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/monotype.ML	Thu Jul 19 21:47:34 2007 +0200
     1.3 @@ -1,6 +1,3 @@
     1.4 -structure ROOT = 
     1.5 -struct
     1.6 -
     1.7  structure Nat = 
     1.8  struct
     1.9  
    1.10 @@ -52,5 +49,3 @@
    1.11      List.list_all2 eq_monotype typargs1 typargs2;
    1.12  
    1.13  end; (*struct Codegen*)
    1.14 -
    1.15 -end; (*struct ROOT*)