1.1 --- a/src/Tools/isac/Knowledge/Base_Tools.thy	Thu Sep 12 14:42:53 2019 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Base_Tools.thy	Fri Sep 13 18:35:51 2019 +0200
     1.3 @@ -130,7 +130,7 @@
     1.4  		Rule.Thm ("if_True",TermC.num_str @{thm if_True}),
     1.5  		Rule.Thm ("if_False",TermC.num_str @{thm if_False})];
     1.6  
     1.7 -val list_rls = LTool.prep_rls @{theory} (Rule.merge_rls "list_erls"
     1.8 +val list_rls = Auto_Prog.prep_rls @{theory} (Rule.merge_rls "list_erls"
     1.9  	(Rule.Rls {id = "replaced", preconds = [], rew_ord = ("termlessI", termlessI),
    1.10      erls = Rule.Rls {id = "list_elrs", preconds = [], rew_ord = ("termlessI", termlessI), 
    1.11      erls = Rule.e_rls, srls = Rule.Erls, calc = [], errpatts = [],
    1.12 @@ -144,6 +144,6 @@
    1.13  \<close>
    1.14  subsection \<open>setup for extended rule-set\<close>
    1.15  setup \<open>KEStore_Elems.add_rlss
    1.16 -  [("list_rls", (Context.theory_name @{theory}, LTool.prep_rls @{theory} list_rls))]\<close>
    1.17 +  [("list_rls", (Context.theory_name @{theory}, Auto_Prog.prep_rls @{theory} list_rls))]\<close>
    1.18  
    1.19  end
    1.20 \ No newline at end of file