src/Pure/Isar/toplevel.ML
changeset 69724 1c201e4792cb
parent 68878 9203eb13bef7
child 69731 1bc422c08209
     1.1 --- a/src/Pure/Isar/toplevel.ML	Mon Jan 21 22:46:25 2019 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Mon Jan 21 07:08:27 2019 +0000
     1.3 @@ -749,3 +749,5 @@
     1.4  end;
     1.5  
     1.6  end;
     1.7 +
     1.8 +structure Local_Theory : LOCAL_THEORY = struct open Local_Theory; end;