| 2019-01-05 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| 2018-09-12 | paulson | tiny cleanup | file | diff | annotate |
| 2018-01-16 | wenzelm | standardized towards new-style formal comments: isabelle update_comments; | file | diff | annotate |
| 2016-12-17 | haftmann | reoriented congruence rules in non-explosive direction | file | diff | annotate |
| 2016-05-23 | wenzelm | tuned proofs; | file | diff | annotate |
| 2016-04-25 | wenzelm | eliminated old 'def'; | file | diff | annotate |
| 2015-11-05 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| 2015-10-10 | wenzelm | prefer symbols; | file | diff | annotate |
| 2015-10-06 | wenzelm | fewer aliases for toplevel theorem statements; | file | diff | annotate |
| 2015-09-17 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| 2015-09-15 | lammich | Omega_Words_Fun: Infinite words as functions from nat. | file | diff | annotate |