| Tue, 16 Jan 2018 09:30:00 +0100 | wenzelm | standardized towards new-style formal comments: isabelle update_comments; | file | diff | annotate |
| Sat, 17 Dec 2016 15:22:14 +0100 | haftmann | reoriented congruence rules in non-explosive direction | file | diff | annotate |
| Mon, 23 May 2016 15:29:38 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Mon, 25 Apr 2016 16:09:26 +0200 | wenzelm | eliminated old 'def'; | file | diff | annotate |
| Thu, 05 Nov 2015 10:39:49 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Sat, 10 Oct 2015 19:22:05 +0200 | wenzelm | prefer symbols; | file | diff | annotate |
| Tue, 06 Oct 2015 15:14:28 +0200 | wenzelm | fewer aliases for toplevel theorem statements; | file | diff | annotate |
| Thu, 17 Sep 2015 15:48:06 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 15 Sep 2015 11:18:25 +0200 | lammich | Omega_Words_Fun: Infinite words as functions from nat. | file | diff | annotate |