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 |