| description | "Misc Mercurial repositories" |
| owner | unknown |
| last change | Wed, 25 Sep 2019 17:22:57 +0200 |
| 3 weeks ago ago | nipkow | replaced new type ('a,'b) tree by old type ('a*'b) tree. | changeset | files |
| 3 weeks ago ago | nipkow | merged | changeset | files |
| 3 weeks ago ago | wenzelm | some information about Phabricator server setup; | changeset | files |
| 3 weeks ago ago | nipkow | merged | changeset | files |
| 3 weeks ago ago | paulson | More type class generalisations. Note that linorder_antisym_conv1 and linorder_antisym_conv2 no longer exist. | changeset | files |
| 3 weeks ago ago | nipkow | simplified proofs | changeset | files |
| 3 weeks ago ago | nipkow | merged | changeset | files |
| 3 weeks ago ago | paulson | Generalisation of many theorems to a more abstract type class (suggested by Mr Anonymous) | changeset | files |
| 3 weeks ago ago | nipkow | Enforced precodition "n <= length xs" to avoid relying on "hd []". | changeset | files |
| 3 weeks ago ago | nipkow | tuned | changeset | files |
| ... | |||
| 4 months ago ago | Isabelle2019 | changeset | changelog | files |
| 5 months ago ago | Isabelle2019-RC2 | changeset | changelog | files |
| 5 months ago ago | Isabelle2019-RC1 | changeset | changelog | files |
| 6 months ago ago | Isabelle2019-RC0 | changeset | changelog | files |
| 14 months ago ago | Isabelle2018 | changeset | changelog | files |
| 2017-10-04 ago | Isabelle2017 | changeset | changelog | files |
| 2016-12-12 ago | Isabelle2016-1 | changeset | changelog | files |
| 2016-02-15 ago | Isabelle2016 | changeset | changelog | files |
| 2015-05-23 ago | Isabelle2015 | changeset | changelog | files |
| 2014-08-18 ago | Isabelle2014 | changeset | changelog | files |
| ... | ||
| 3 weeks ago ago | 3fb16bed5d6c | default | changeset | changelog | files |
| ... | |||