equal
deleted
inserted
replaced
153 *} |
153 *} |
154 |
154 |
155 subsection {* isac on Isabelle2013 *} |
155 subsection {* isac on Isabelle2013 *} |
156 subsubsection {* Summary of development *} |
156 subsubsection {* Summary of development *} |
157 text {* |
157 text {* |
|
158 # |
|
159 # Sep.13: integrated gcd_poly (functional, without Unsychronized.ref) into |
|
160 simplification of multivariate rationals (without improving the rulesets involved). |
158 *} |
161 *} |
159 subsubsection {* Run tests *} |
162 subsubsection {* Run tests *} |
160 text {* |
163 text {* |
161 *} |
164 *} |
162 subsubsection {* State of tests *} |
165 subsubsection {* State of tests *} |