Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/outer_syntax.ML
changeset 77889 5db014c36f42
parent 76815 974f2c104f63
child 78035 bd5f6cee8001 
--- a/src/Pure/Isar/outer_syntax.ML	Wed Apr 19 23:27:55 2023 +0200
+++ b/src/Pure/Isar/outer_syntax.ML	Thu Apr 20 11:57:34 2023 +0200
@@ -112,7 +112,7 @@
 (* maintain commands *)
 
 fun add_command name cmd thy =
-  if member (op =) Thy_Header.bootstrap_thys (Context.theory_name thy) then thy
+  if member (op =) Thy_Header.bootstrap_thys (Context.theory_base_name thy) then thy
   else
     let
       val _ =
isabelle