1.1 --- a/src/Tools/isac/Knowledge/Build_Thydata.thy	Wed May 26 13:11:46 2021 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Build_Thydata.thy	Wed May 26 13:12:03 2021 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4    represent application-oriented and algorithmic knowledge respectively.) <Theory>-Data 
     1.5    comprise theories from ProgLang and from Knowledge.
     1.6    Note, that for bootstrapping Isac "Build_Thydata" theories are available only
     1.7 -  via "@{theory Pure}" and "Theory.ancestors_of" but not via "Thy_Info_get_theory"
     1.8 +  via \<^ML>\<open>@{theory Pure}\<close> and \<^ML>\<open>Theory.ancestors_of\<close> but not via \<^ML>\<open>Thy_Info.get_theory\<close>
     1.9    (while the latter is available in Test_Some.thy loaded from session Isac).
    1.10  \<close>
    1.11  subsubsection \<open>Get and group the theories defined in Isac\<close>