1.1 --- a/src/Tools/isac/BaseDefinitions/rule-def.sml	Tue May 31 10:17:11 2022 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/rule-def.sml	Tue May 31 11:00:15 2022 +0200
     1.3 @@ -34,7 +34,7 @@
     1.4            locate_rule: rule list list -> term -> rule -> (rule * (term * term list)) list,
     1.5            next_rule: rule list list -> term -> rule option, normal_form: term ->
     1.6            (term * term list) option}
     1.7 -  val rule_to_string: program -> string
     1.8 +  val program_to_string: program -> string
     1.9  end
    1.10  
    1.11  (**)
    1.12 @@ -127,9 +127,9 @@
    1.13  		   list,          (* meta-conjunction in guarding is or                           *)
    1.14       rew_ord: rew_ord, erls: rule_set, calc: calc list, errpatts: errpatID list, scr: program}
    1.15  
    1.16 -fun rule_to_string Empty_Prog = "Empty_Prog"
    1.17 -  | rule_to_string (Prog s) = "Prog " ^ UnparseC.term s
    1.18 -  | rule_to_string (Rfuns _)  = "Rfuns";
    1.19 +fun program_to_string Empty_Prog = "Empty_Prog"
    1.20 +  | program_to_string (Prog s) = "Prog " ^ UnparseC.term s
    1.21 +  | program_to_string (Rfuns _)  = "Rfuns";
    1.22  
    1.23  (**)end(**)
    1.24  

     2.1 --- a/src/Tools/isac/BaseDefinitions/rule-set.sml	Tue May 31 10:17:11 2022 +0200
     2.2 +++ b/src/Tools/isac/BaseDefinitions/rule-set.sml	Tue May 31 11:00:15 2022 +0200
     2.3 @@ -65,12 +65,12 @@
     2.4      "(Rule_Def.Repeat {id = " ^ id ^ ", preconds = " ^ UnparseC.terms preconds ^ ", rew_ord = " ^ Rewrite_Ord.to_string rew_ord
     2.5      ^ ",\n  erls = _, srls = _, calc = _, errpatts = _, "
     2.6      ^ ",\n  rules = " ^ Rule.s_to_string rules
     2.7 -    ^ ",\n  rules = " ^ Rule_Def.rule_to_string scr ^ "})"
     2.8 +    ^ ",\n  rules = " ^ Rule_Def.program_to_string scr ^ "})"
     2.9    | to_string (Rule_Def.Sequence {id, preconds, rew_ord, erls = _, srls = _, calc = _, errpatts = _, rules, scr}) =
    2.10      "(Rule_Def.Repeat {id = " ^ id ^ ", preconds = " ^ UnparseC.terms preconds ^ ", rew_ord = " ^ Rewrite_Ord.to_string rew_ord
    2.11      ^ ",\n  erls = _, srls = _, calc = _, errpatts = _, "
    2.12      ^ ",\n  rules = " ^ Rule.s_to_string rules
    2.13 -    ^ ",\n  rules = " ^ Rule_Def.rule_to_string scr ^ "})"
    2.14 +    ^ ",\n  rules = " ^ Rule_Def.program_to_string scr ^ "})"
    2.15    | to_string (Rule_Def.Rrls _)  = "Rule_Def.Rrls _"
    2.16  
    2.17  fun append_rules id Rule_Def.Empty r = (*.. required for append_erls_rules *)

     3.1 --- a/src/Tools/isac/ProgLang/Program.thy	Tue May 31 10:17:11 2022 +0200
     3.2 +++ b/src/Tools/isac/ProgLang/Program.thy	Tue May 31 11:00:15 2022 +0200
     3.3 @@ -89,7 +89,7 @@
     3.4    |> snd)
     3.5    handle TERM _ => raise TERM ("body_of", [tm])
     3.6  
     3.7 -val to_string = Rule_Def.rule_to_string;
     3.8 +val to_string = Rule_Def.program_to_string;
     3.9  
    3.10  
    3.11  (**)end(**)