equal
deleted
inserted
replaced
39 "----------- append inform with final result ---------------------"; |
39 "----------- append inform with final result ---------------------"; |
40 "----------- append inform with final result ---------------------"; |
40 "----------- append inform with final result ---------------------"; |
41 "----------- append inform with final result ---------------------"; |
41 "----------- append inform with final result ---------------------"; |
42 states:=[]; |
42 states:=[]; |
43 CalcTree [(["TERM ((14 * x * y) / ( x * y ))", "normalform N"], |
43 CalcTree [(["TERM ((14 * x * y) / ( x * y ))", "normalform N"], |
44 ("Rational.thy",["rational","simplification"], |
44 ("Rational",["rational","simplification"], |
45 ["simplification","of_rationals"]))]; |
45 ["simplification","of_rationals"]))]; |
46 Iterator 1; |
46 Iterator 1; |
47 moveActiveRoot 1; |
47 moveActiveRoot 1; |
48 autoCalculate 1 CompleteCalcHead; |
48 autoCalculate 1 CompleteCalcHead; |
49 autoCalculate 1 (Step 1); |
49 autoCalculate 1 (Step 1); |