2019-12-04 | nipkow | moved segment lemmas where they belong | changeset | files |
2019-12-04 | nipkow | merged | changeset | files |
2019-12-04 | nipkow | moved lemmas | changeset | files |
2019-12-04 | paulson | merged | changeset | files |
2019-12-04 | paulson | two new theorems | changeset | files |
2019-12-04 | nipkow | moved lemma | changeset | files |
2019-12-03 | traytel | made internal name generation in case expressions more robust | changeset | files |
2019-12-03 | wenzelm | merged | changeset | files |
Loading... |