1.1 --- a/src/Tools/isac/Interpret/script.sml	Mon Nov 21 12:47:02 2016 +0100
     1.2 +++ b/src/Tools/isac/Interpret/script.sml	Tue Nov 22 10:42:21 2016 +0100
     1.3 @@ -27,7 +27,7 @@
     1.4    val rule2thm'' : rule -> thm''
     1.5    val rule2rls' : rule -> string
     1.6  
     1.7 -(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* 
     1.8 +(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
     1.9    datatype asap = Aundef | AssOnly | AssGen
    1.10    datatype appy = Appy of tac_ * scrstate | Napp of env | Skip of term * env
    1.11    datatype appy_ = Napp_ | Skip_