
diff -r 2dc8d6d262f4 -r 740ebee5948b test/Tools/isac/Test_Isac.thy
--- a/test/Tools/isac/Test_Isac.thy	Sun Apr 18 22:27:43 2021 +0200
+++ b/test/Tools/isac/Test_Isac.thy	Sun Apr 18 23:37:59 2021 +0200
@@ -96,7 +96,7 @@
 
 ML \<open>open ML_System\<close>
 ML \<open>
-(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\*)
+\<^isac_test>\<open>
                       (* these vvv test, if funs are intermediately opened in structure 
                          in case of errors here consider ~~/xtest-to-coding.sh      *)
   open Kernel;
@@ -142,7 +142,7 @@
   open ThmC
   open Rewrite_Ord
   open UnparseC
-(*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
+\<close>
 \<close>
 ML_file "BaseDefinitions/libraryC.sml"
 




