1.1 --- a/src/Tools/isac/Build_Isac.thy	Fri May 27 17:14:49 2022 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Fri May 27 17:19:01 2022 +0200
     1.3 @@ -174,11 +174,6 @@
     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>