| description | The Isabelle repository |
| owner | isabelle |
| last change | Mon, 13 Jul 2020 15:23:32 +0000 |
| 45 hours ago | haftmann | 2020-07-13 | concatentation of bit values | changeset | files |
| 2 days ago | haftmann | 2020-07-12 | prefer canonically oriented lists of bits and more direct characterizations in definitions | changeset | files |
| 2 days ago | haftmann | 2020-07-12 | more simp rules for concrete numerical values | changeset | files |
| 2 days ago | haftmann | 2020-07-12 | words added to code generator test | changeset | files |
| 3 days ago | haftmann | 2020-07-11 | a generic horner sum operation | changeset | files |
| 3 days ago | haftmann | 2020-07-11 | more thms | changeset | files |
| 3 days ago | wenzelm | 2020-07-11 | clarified message --- as in former ML version (see 940195fbb282); | changeset | files |
| 3 days ago | wenzelm | 2020-07-11 | clarified signature; | changeset | files |
| 3 days ago | wenzelm | 2020-07-11 | clarified messages: avoid duplicate Timing; | changeset | files |
| 3 days ago | wenzelm | 2020-07-11 | clarified messages; | changeset | files |
| ... | ||||
| 3 months ago | Isabelle2020 | changeset | changelog | files |
| 13 months ago | Isabelle2019 | changeset | changelog | files |
| 23 months ago | Isabelle2018 | changeset | changelog | files |
| 2017-10-04 | 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 |
| 2013-11-09 | Isabelle2013-1 | changeset | changelog | files |
| ... | ||
| 45 hours ago | 08f1e4cb735f | default | changeset | changelog | files |
| ... | |||