| description | The Isabelle repository |
| owner | isabelle |
| last change | Thu, 26 Apr 2018 16:14:35 +0100 |
| 3 hours ago | paulson | 2018-04-26 | small typeclass generalisations | changeset | files |
| 6 hours ago | paulson | 2018-04-26 | merged | changeset | files |
| 7 hours ago | paulson | 2018-04-26 | some of Jose Divasón's material from Rank_Nullity_Theorem/Miscellaneous | changeset | files |
| 8 hours ago | wenzelm | 2018-04-26 | spelling; | changeset | files |
| 22 hours ago | paulson | 2018-04-25 | more messy proofs redone, and new material | changeset | files |
| 27 hours ago | paulson | 2018-04-25 | merged | changeset | files |
| 28 hours ago | paulson | 2018-04-25 | merged | changeset | files |
| 28 hours ago | paulson | 2018-04-25 | new material on matricies by Tim Makarios (from Tarskis_Geometry in the AFP) | changeset | files |
| 29 hours ago | wenzelm | 2018-04-25 | merged | changeset | files |
| 30 hours ago | wenzelm | 2018-04-25 | tuned -- avoid spurious exception trace for "the"; | changeset | files |
| ... | ||||
| 6 months ago | Isabelle2017 | changeset | changelog | files |
| 16 months ago | 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 |
| 2013-11-09 | Isabelle2013-1 | changeset | changelog | files |
| 2013-02-11 | Isabelle2013 | changeset | changelog | files |
| 2013-01-08 | build_history_base | changeset | changelog | files |
| 2012-05-20 | Isabelle2012 | changeset | changelog | files |
| ... | ||
| 3 hours ago | ce8ad77cd3fa | default | changeset | changelog | files |
| ... | |||