| Sun, 01 May 2011 16:36:34 +0200 | wenzelm | eliminated copies of isabelle style files; | file | diff | annotate |
| Fri, 26 Nov 2010 23:51:34 +0100 | wenzelm | eliminated some generated comments; | file | diff | annotate |
| Thu, 29 Oct 2009 15:47:03 +0100 | nipkow | small fixes | file | diff | annotate |