| Sat, 03 May 2008 13:26:08 +0200 | wenzelm | converted refcard.tex to Thy/Quick_Reference.thy; | file | diff | annotate |
| Fri, 02 May 2008 16:36:05 +0200 | wenzelm | converted pure.tex to Thy/pure.thy; | file | diff | annotate |
| Mon, 28 Apr 2008 14:22:42 +0200 | wenzelm | converted syntax.tex to Thy/syntax.thy; | file | diff | annotate |
| Wed, 23 Apr 2008 12:13:08 +0200 | wenzelm | converted intro.tex to Thy/intro.thy; | file | diff | annotate |
| Thu, 03 Jan 2002 17:48:02 +0100 | wenzelm | next round of updates; | file | diff | annotate |
| Wed, 02 Jan 2002 21:52:54 +0100 | wenzelm | added zf.tex; | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Mon, 14 Aug 2000 18:49:35 +0200 | wenzelm | added conversion.tex; | file | diff | annotate |
| Mon, 08 May 2000 11:13:28 +0200 | wenzelm | improved indexing; | file | diff | annotate |
| Thu, 21 Oct 1999 17:42:21 +0200 | wenzelm | updated; | file | diff | annotate |
| Fri, 30 Jul 1999 15:40:54 +0200 | wenzelm | more; | file | diff | annotate |
| Fri, 30 Jul 1999 14:59:32 +0200 | wenzelm | more stuff; | file | diff | annotate |
| Tue, 20 Jul 1999 18:50:46 +0200 | wenzelm | checkpoint; | file | diff | annotate |
| Mon, 19 Jul 1999 17:08:05 +0200 | wenzelm | skeleton only; | file | diff | annotate |