| description | The Isabelle repository |
| owner | isabelle |
| last change | Wed, 22 May 2019 22:18:45 +0200 |
| 11 hours ago | Lars Hupel | 2019-05-22 | Finite_Map: move lemmas from LambdaAuth AFP entry credits: Matthias Brun, Dmitriy Traytel | changeset | files |
| 46 hours ago | krauss | 2019-05-21 | documentation for termination_simp attribute | changeset | files |
| 46 hours ago | nipkow | 2019-05-21 | strengthened lemma | changeset | files |
| 2 days ago | nipkow | 2019-05-20 | tuned names | changeset | files |
| 6 days ago | nipkow | 2019-05-16 | tuned name | changeset | files |
| 6 days ago | nipkow | 2019-05-16 | tuned | changeset | files |
| 7 days ago | paulson | 2019-05-15 | a few general lemmas | changeset | files |
| 7 days ago | paulson | 2019-05-15 | Generalisations involving numerals; comparisons should now work for ennreal | changeset | files |
| 8 days ago | nipkow | 2019-05-14 | tuned | changeset | files |
| 8 days ago | nipkow | 2019-05-14 | tuned names | changeset | files |
| ... | ||||
| 11 days ago | Isabelle2019-RC2 | changeset | changelog | files |
| 2 weeks ago | Isabelle2019-RC1 | changeset | changelog | files |
| 7 weeks ago | Isabelle2019-RC0 | changeset | changelog | files |
| 9 months ago | Isabelle2018 | changeset | changelog | files |
| 19 months ago | Isabelle2017 | changeset | changelog | files |
| 2016-12-12 | Isabelle2016-1 | changeset | changelog | files |
| 2016-02-15 | Isabelle2016 | changeset | changelog | files |
| 2015-05-23 | Isabelle2015 | changeset | changelog | files |
| 2014-08-18 | Isabelle2014 | changeset | changelog | files |
| 2013-12-04 | Isabelle2013-2 | changeset | changelog | files |
| ... | ||
| 11 hours ago | ac24aaf84a36 | default | changeset | changelog | files |
| ... | |||