1.1 --- a/src/Tools/isac/ProgLang/Program.thy	Sun May 29 19:05:14 2022 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/Program.thy	Tue May 31 09:16:12 2022 +0200
     1.3 @@ -89,9 +89,7 @@
     1.4    |> snd)
     1.5    handle TERM _ => raise TERM ("body_of", [tm])
     1.6  
     1.7 -fun to_string Rule_Def.Empty_Prog = "Empty_Prog"
     1.8 -  | to_string (Rule_Def.Prog s) = "Prog " ^ UnparseC.term s
     1.9 -  | to_string (Rule_Def.Rfuns _)  = "Rfuns";
    1.10 +val to_string = Rule_Def.rule_to_string;
    1.11  
    1.12  
    1.13  (**)end(**)
    1.14 @@ -99,4 +97,4 @@
    1.15  \<close> ML \<open>
    1.16  \<close>
    1.17  
    1.18 -end
    1.19 \ No newline at end of file
    1.20 +end