1.1 --- a/src/Tools/isac/Knowledge/Integrate.thy	Mon Dec 31 14:15:19 2018 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Integrate.thy	Mon Dec 31 14:49:16 2018 +0100
     1.3 @@ -150,7 +150,7 @@
     1.4  		     rew_ord = ("termlessI",termlessI), 
     1.5  		     erls = Rule.Erls, 
     1.6  		     srls = Rule.Erls, calc = [], errpatts = [],
     1.7 -		     rules = [Rule.Calc ("Tools.matches", eval_matches""),
     1.8 +		     rules = [Rule.Calc ("Tools.matches", Tools.eval_matches""),
     1.9  			      Rule.Calc ("Integrate.is'_f'_x", 
    1.10  				    eval_is_f_x "is_f_x_"),
    1.11  			      Rule.Thm ("not_true", TermC.num_str @{thm not_true}),