equal
deleted
inserted
replaced
469 |
469 |
470 "--------- inform [rational,simplification] ----------------------"; |
470 "--------- inform [rational,simplification] ----------------------"; |
471 "--------- inform [rational,simplification] ----------------------"; |
471 "--------- inform [rational,simplification] ----------------------"; |
472 "--------- inform [rational,simplification] ----------------------"; |
472 "--------- inform [rational,simplification] ----------------------"; |
473 states:=[]; |
473 states:=[]; |
474 CalcTree [(["term (4/x - 3/y - 1)", "normalform N"], |
474 CalcTree [(["TERM (4/x - 3/y - 1)", "normalform N"], |
475 ("Rational.thy",["rational","simplification"], |
475 ("Rational.thy",["rational","simplification"], |
476 ["simplification","of_rationals"]))]; |
476 ["simplification","of_rationals"]))]; |
477 Iterator 1; moveActiveRoot 1; |
477 Iterator 1; moveActiveRoot 1; |
478 autoCalculate 1 CompleteCalcHead; |
478 autoCalculate 1 CompleteCalcHead; |
479 autoCalculate 1 (Step 1); |
479 autoCalculate 1 (Step 1); |