| 2019-01-14 | haftmann | tuned proofs | file | diff | annotate |
| 2018-02-15 | wenzelm | more symbols; | file | diff | annotate |
| 2018-01-12 | wenzelm | isabelle update_cartouches -c; | file | diff | annotate |
| 2017-11-07 | nipkow | Replaced { } proofs by local lemmas; added Hoare logic with logical variables. | file | diff | annotate |
| 2016-02-17 | haftmann | prefer abbreviations for compound operators INFIMUM and SUPREMUM | file | diff | annotate |
| 2016-01-22 | paulson | Reorganised a huge proof | file | diff | annotate |
| 2014-11-02 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| 2013-06-21 | nipkow | tuned | file | diff | annotate |
| 2013-06-20 | nipkow | added lemma | file | diff | annotate |
| 2013-06-19 | nipkow | tuned | file | diff | annotate |
| 2013-06-19 | nipkow | tuned | file | diff | annotate |
| 2013-06-19 | nipkow | more canonical name (2) | file | diff | annotate |
| 2013-06-19 | nipkow | more canonical name | file | diff | annotate | base |