1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Nov 14 15:51:10 2016 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Nov 17 16:40:27 2016 +0100
     1.3 @@ -19,13 +19,14 @@
     1.4  not declared in the signatures.
     1.5  
     1.6  In order to maintain these tests without changes, this has to be done before running tests:
     1.7 -* Query replace in src/Tools/isac:
     1.8 +(1) Query replace in src/Tools/isac:
     1.9      "--- ! aktivate for Test_Isac BEGIN ---\* )" --> "--- ! aktivate for Test_Isac BEGIN ---\*)"
    1.10      "( *\--- ! aktivate for Test_Isac END ---"   --> "(*\--- ! aktivate for Test_Isac END ---"
    1.11    This extends the signatures with some functions required for some tests.
    1.12 -* The same query replace below; this opens all structures.
    1.13  
    1.14 -*********************** DON'T FORGET TO REVERSE THESE CHANGES AFTER TESTS ***********************
    1.15 +Running Test_Isac.thy opens all structures, see code after "begin" below.
    1.16 +
    1.17 +*********************** DON'T FORGET TO REVERSE CHANGE (1) AFTER TESTS ***********************
    1.18  \<close>
    1.19  
    1.20  section \<open>Run the tests\<close>