src/Pure/Isar/toplevel.ML
changeset 69735 331ef175a112
parent 69731 1bc422c08209
child 70058 45b2e784350a
     1.1 --- a/src/Pure/Isar/toplevel.ML	Tue Jan 22 17:57:19 2019 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Tue Jan 22 19:36:17 2019 +0100
     1.3 @@ -749,6 +749,5 @@
     1.4  end;
     1.5  
     1.6  end;
     1.7 -(* FIXME
     1.8 +
     1.9  structure Local_Theory : LOCAL_THEORY = struct open Local_Theory; end;
    1.10 -*)