| 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 |
| Thu, 15 May 2008 20:02:42 +0200 | wenzelm | use Isabelle sty files from Doc/; | file | diff | annotate |
| Tue, 31 May 2005 12:16:42 +0200 | nipkow | \nexists | file | diff | annotate |
| Wed, 25 May 2005 10:51:42 +0200 | nipkow | added ? explanations | file | diff | annotate |
| Thu, 12 May 2005 09:45:54 +0200 | nipkow | fixed a few things and added Haftmann as author | file | diff | annotate |