1.1 --- a/test/Tools/isac/Knowledge/integrate.sml	Sat Apr 04 12:11:32 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/integrate.sml	Mon Apr 06 11:44:36 2020 +0200
     1.3 @@ -30,11 +30,11 @@
     1.4  fun term2s t = term_to_string' ctxt t;
     1.5      
     1.6  val conditions_in_integration_rules =
     1.7 -  Rls {id="conditions_in_integration_rules", 
     1.8 +  Rule_Set.Repeat {id="conditions_in_integration_rules", 
     1.9      preconds = [], 
    1.10      rew_ord = ("termlessI",termlessI), 
    1.11 -    erls = Erls, 
    1.12 -    srls = Erls, calc = [], errpatts = [],
    1.13 +    erls = Rule_Set.Empty, 
    1.14 +    srls = Rule_Set.Empty, calc = [], errpatts = [],
    1.15      rules = [(*for rewriting conditions in Thm's*)
    1.16  	    Num_Calc ("Prog_Expr.occurs'_in", 
    1.17  		  eval_occurs_in "#occurs_in_"),
    1.18 @@ -141,11 +141,11 @@
    1.19  else error "integrate.sml: eval_is_f_x --> false";
    1.20  
    1.21  val conditions_in_integration =
    1.22 -Rls {id="conditions_in_integration", 
    1.23 +Rule_Set.Repeat {id="conditions_in_integration", 
    1.24       preconds = [], 
    1.25       rew_ord = ("termlessI",termlessI), 
    1.26 -     erls = Erls, 
    1.27 -     srls = Erls, calc = [], errpatts = [],
    1.28 +     erls = Rule_Set.Empty, 
    1.29 +     srls = Rule_Set.Empty, calc = [], errpatts = [],
    1.30       rules = [Num_Calc ("Prog_Expr.matches",eval_matches ""),
    1.31        	Num_Calc ("Integrate.is'_f'_x", 
    1.32        	      eval_is_f_x "is_f_x_"),