1.1 --- a/src/Tools/isac/Build_Isac.thy	Fri May 27 12:07:55 2022 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Fri May 27 15:12:54 2022 +0200
     1.3 @@ -174,6 +174,11 @@
     1.4  (*declare [[ML_print_depth = 999]]*)
     1.5  ML \<open>
     1.6  \<close> ML \<open>
     1.7 +ThyC.id_empty
     1.8 +\<close> ML \<open>
     1.9 +Problem.id_empty
    1.10 +\<close> ML \<open>
    1.11 +MethodC.id_empty
    1.12  \<close> ML \<open>
    1.13  \<close>
    1.14  ML \<open>Eval.adhoc_thm; (*from "ProgLang/evaluate.sml" *)\<close>