changeset 59618 | 80efccb7e5c1 |
parent 59603 | 30cd47104ad7 |
child 59635 | 9fc1bb69813c |
1.1 --- a/src/Tools/isac/Knowledge/Integrate.thy Thu Sep 12 14:42:53 2019 +0200 1.2 +++ b/src/Tools/isac/Knowledge/Integrate.thy Fri Sep 13 18:35:51 2019 +0200 1.3 @@ -315,7 +315,7 @@ 1.4 ], 1.5 scr = Rule.EmptyScr}; 1.6 1.7 -val prep_rls' = LTool.prep_rls @{theory}; 1.8 +val prep_rls' = Auto_Prog.prep_rls @{theory}; 1.9 \<close> 1.10 setup \<open>KEStore_Elems.add_rlss 1.11 [("integration_rules", (Context.theory_name @{theory}, prep_rls' integration_rules)),