| Fri, 01 Jan 2016 10:49:00 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Thu, 23 Jul 2015 14:25:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 30 Aug 2011 18:12:48 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Mon, 16 Feb 2009 20:23:43 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 16 Feb 2009 20:15:40 +0100 | wenzelm | modernized some theory names; | file | diff | annotate | base |