# HG changeset patch
# User wneuper <Walther.Neuper@jku.at>
# Date 1653664741 -7200
# Node ID 358cd4ed2ec45beb3547c4828c666907dfed1781
# Parent  6953fb81ebb97712fee86eff7f84b412625d50c7
tuned

diff -r 6953fb81ebb9 -r 358cd4ed2ec4 src/Tools/isac/Build_Isac.thy
--- a/src/Tools/isac/Build_Isac.thy	Fri May 27 17:14:49 2022 +0200
+++ b/src/Tools/isac/Build_Isac.thy	Fri May 27 17:19:01 2022 +0200
@@ -174,11 +174,6 @@
 (*declare [[ML_print_depth = 999]]*)
 ML \<open>
 \<close> ML \<open>
-ThyC.id_empty
-\<close> ML \<open>
-Problem.id_empty
-\<close> ML \<open>
-MethodC.id_empty
 \<close> ML \<open>
 \<close>
 ML \<open>Eval.adhoc_thm; (*from "ProgLang/evaluate.sml" *)\<close>