author wenzelm

Mon, 19 Apr 2021 20:44:18 +0200

changeset 60240 17db21aa9aed

parent 60239 9a28e914c469

child 60241 07849bde0c95

child 60242 73ee61385493

test/Tools/isac/Test_Isac_Short.thy file | annotate | diff | comparison | revisions
     1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Mon Apr 19 20:33:04 2021 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Mon Apr 19 20:44:18 2021 +0200
     1.3 @@ -82,6 +82,8 @@
     1.4  
     1.5  begin
     1.6  
     1.7 +declare [[ML_print_depth = 20]]
     1.8 +
     1.9  ML \<open>open ML_System\<close>
    1.10  ML \<open>
    1.11    open Kernel;