| 2008-05-02 | wenzelm | converted pure.tex to Thy/pure.thy; | file | diff | annotate |
| 2008-04-28 | wenzelm | converted syntax.tex to Thy/syntax.thy; | file | diff | annotate |
| 2008-04-23 | wenzelm | converted intro.tex to Thy/intro.thy; | file | diff | annotate |
| 2002-01-03 | wenzelm | next round of updates; | file | diff | annotate |
| 2002-01-02 | wenzelm | added zf.tex; | file | diff | annotate |
| 2000-08-28 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| 2000-08-14 | wenzelm | added conversion.tex; | file | diff | annotate |
| 2000-05-08 | wenzelm | improved indexing; | file | diff | annotate |
| 1999-10-21 | wenzelm | updated; | file | diff | annotate |
| 1999-07-30 | wenzelm | more; | file | diff | annotate |
| 1999-07-30 | wenzelm | more stuff; | file | diff | annotate |
| 1999-07-20 | wenzelm | checkpoint; | file | diff | annotate |
| 1999-07-19 | wenzelm | skeleton only; | file | diff | annotate |