2020-04-16 | haftmann | more complete rules on numerals | changeset | files |
2020-04-15 | wenzelm | removed obsolete RC tags; | changeset | files |
2020-04-15 | wenzelm | merged | changeset | files |
2020-04-15 | wenzelm | Added tag Isabelle2020 for changeset abf3e80bd815 | changeset | files |
2020-04-13 | wenzelm | tuned NEWS; | changeset | files |
2020-04-12 | wenzelm | tuned NEWS; | changeset | files |
Loading... |