diff -r f92963a33fe3 -r 04f8699d2c9d src/Tools/isac/Build_Isac.thy
--- a/src/Tools/isac/Build_Isac.thy	Sun Oct 09 07:44:22 2022 +0200
+++ b/src/Tools/isac/Build_Isac.thy	Sun Oct 09 09:01:29 2022 +0200
@@ -162,6 +162,10 @@
 (*//-----------------------------------------------------------------------------------------\\*)
 (*\\-----------------------------------------------------------------------------------------//*)
 begin
+ML \<open>
+\<close> ML \<open>
+\<close> ML \<open>
+\<close> 
 
 text \<open>
   show theory dependencies using the graph browser,