2014-10-23 | haftmann | slight generalization and unification of simp rules for algebraic procedures | changeset | files |
2014-10-23 | haftmann | downshift of theory Parity in the hierarchy | changeset | files |
2014-10-23 | haftmann | parity induction over natural numbers | changeset | files |
2014-10-22 | wenzelm | merged | changeset | files |
2014-10-22 | wenzelm | proper line height and text base line, like regular TextAreaPainter.PaintText; | changeset | files |
2014-10-22 | wenzelm | tuned imports; | changeset | files |
Loading... |