1.1 --- a/src/Tools/isac/MathEngBasic/ctree-basic.sml	Wed Oct 30 16:46:05 2019 +0100
     1.2 +++ b/src/Tools/isac/MathEngBasic/ctree-basic.sml	Thu Oct 31 10:41:42 2019 +0100
     1.3 @@ -112,7 +112,7 @@
     1.4    val par_pblobj : CTbasic.ctree -> CTbasic.pos -> CTbasic.pos   (* duplicate in ctree-navi.sml *)
     1.5     ---- duplicates in CTnavi, reconsider structs ----------------------------------------------/*)
     1.6  
     1.7 -(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
     1.8 +(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\*)
     1.9    val pr_ctree : (pos -> ppobj -> string) -> ctree -> string
    1.10    val pr_short : pos -> ppobj -> string
    1.11    val g_ctxt : ppobj -> Proof.context
    1.12 @@ -126,7 +126,7 @@
    1.13    val cut_level_'_ : pos' list -> pos -> ctree -> int list * pos_ -> ctree * pos' list
    1.14    val get_trace : ctree -> int list -> int list -> int list list
    1.15    val branch2str : branch -> string
    1.16 -( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.17 +(*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.18  
    1.19  (*----- unused code, kept as hints to design ideas ---------------------------------------------*)
    1.20    (* NONE *)