1.1 --- a/src/Tools/isac/ProgLang/Auto_Prog.thy	Wed Oct 30 16:46:05 2019 +0100
     1.2 +++ b/src/Tools/isac/ProgLang/Auto_Prog.thy	Thu Oct 31 10:41:42 2019 +0100
     1.3 @@ -36,7 +36,7 @@
     1.4      val prep_rls: theory -> Rule.rls -> Rule.rls (*ren insert*)
     1.5  (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
     1.6    (* NONE *)
     1.7 -(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
     1.8 +(*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\*)
     1.9      val subst_typ: string -> typ -> term list -> (typ * typ) list
    1.10      val is_calc: term -> bool
    1.11      val rule2stac: theory -> Rule.rule -> term
    1.12 @@ -44,7 +44,7 @@
    1.13      val #> : term list -> term
    1.14      val rules2scr_Rls : theory -> Rule.rule list -> term
    1.15      val rules2scr_Seq : theory -> Rule.rule list -> term
    1.16 -( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.17 +(*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
    1.18    end
    1.19  (**)
    1.20  structure Auto_Prog(**): AUTO_GERNERATE_PROGRAM(**) =