diff -r 7e0e497dacbc -r cc27cf7e51c6 src/Pure/Isar/outer_syntax.ML
--- a/src/Pure/Isar/outer_syntax.ML	Sat Oct 10 18:43:07 2020 +0000
+++ b/src/Pure/Isar/outer_syntax.ML	Sat Oct 10 18:43:09 2020 +0000
@@ -156,7 +156,7 @@
       Parse.opt_target -- parse_local
         >> (fn (target, f) => Toplevel.local_theory restricted target f) ||
       (if is_some restricted then Scan.fail
-       else parse_global >> Toplevel.begin_local_theory true)));
+       else parse_global >> Toplevel.begin_main_target true)));
 
 fun local_theory_command trans command_keyword comment parse =
   raw_command command_keyword comment