Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Knowledge/build_thydata.sml
changeset 52105 2786cc9704c8
parent 52062 b3f18f0d55d9
child 52148 aabc6c8e930a
equal deleted inserted replaced
52104:83166e7c7e52 52105:2786cc9704c8 
   915  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","calculate_Rational"] 
   915  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","calculate_Rational"] 
   916  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","calc_rat_erls"] 
   916  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","calc_rat_erls"] 
   917  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","rational_erls"] 
   917  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","rational_erls"] 
   918  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","cancel_p"] 
   918  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","cancel_p"] 
   919  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","cancel"] 
   919  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","cancel"] 
   920  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","common_nominator_p"] 
   920  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","add_fractions_p"] 
   921  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","common_nominator_p_rls"] 
   921  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","add_fractions_p_rls"] 
   922  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","common_nominator"] 
   922  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","common_nominator"] 
   923  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","powers_erls"] 
   923  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","powers_erls"] 
   924  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","powers"] 
   924  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","powers"] 
   925  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","rat_mult_divide"] 
   925  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","rat_mult_divide"] 
   926  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","reduce_0_1_2"] 
   926  *** insert: preserved ["IsacKnowledge","Rational","Rulesets","reduce_0_1_2"]
wneuper/isa