--- a/src/Pure/Isar/toplevel.ML Mon Jan 21 22:46:25 2019 +0100 +++ b/src/Pure/Isar/toplevel.ML Mon Jan 21 07:08:27 2019 +0000 @@ -749,3 +749,5 @@ end; end; + +structure Local_Theory : LOCAL_THEORY = struct open Local_Theory; end;