keep Local_Theory.reset for now -- still required in many AFP sessions (amending 1c201e4792cb);
authorwenzelm
Tue Jan 22 15:29:22 2019 +0100 (4 months ago ago)
changeset 697311bc422c08209
parent 69730 b7e708ba7786
child 69732 749aaeb40788
keep Local_Theory.reset for now -- still required in many AFP sessions (amending 1c201e4792cb);
src/Pure/Isar/toplevel.ML
     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 +*)