1.1 --- a/test/Tools/isac/Knowledge/build_thydata.sml	Mon Sep 16 11:28:43 2013 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/build_thydata.sml	Mon Sep 16 12:20:00 2013 +0200
     1.3 @@ -917,8 +917,8 @@
     1.4   *** insert: preserved ["IsacKnowledge","Rational","Rulesets","rational_erls"] 
     1.5   *** insert: preserved ["IsacKnowledge","Rational","Rulesets","cancel_p"] 
     1.6   *** insert: preserved ["IsacKnowledge","Rational","Rulesets","cancel"] 
     1.7 - *** insert: preserved ["IsacKnowledge","Rational","Rulesets","common_nominator_p"] 
     1.8 - *** insert: preserved ["IsacKnowledge","Rational","Rulesets","common_nominator_p_rls"] 
     1.9 + *** insert: preserved ["IsacKnowledge","Rational","Rulesets","add_fractions_p"] 
    1.10 + *** insert: preserved ["IsacKnowledge","Rational","Rulesets","add_fractions_p_rls"] 
    1.11   *** insert: preserved ["IsacKnowledge","Rational","Rulesets","common_nominator"] 
    1.12   *** insert: preserved ["IsacKnowledge","Rational","Rulesets","powers_erls"] 
    1.13   *** insert: preserved ["IsacKnowledge","Rational","Rulesets","powers"]