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