1.1 --- a/src/Tools/isac/Build_Isac.thy	Sun Oct 09 07:44:22 2022 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Sun Oct 09 09:01:29 2022 +0200
     1.3 @@ -162,6 +162,10 @@
     1.4  (*//-----------------------------------------------------------------------------------------\\*)
     1.5  (*\\-----------------------------------------------------------------------------------------//*)
     1.6  begin
     1.7 +ML \<open>
     1.8 +\<close> ML \<open>
     1.9 +\<close> ML \<open>
    1.10 +\<close> 
    1.11  
    1.12  text \<open>
    1.13    show theory dependencies using the graph browser,