2000-08-28 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
1999-05-10 | wenzelm | cite HOLCF; | file | diff | annotate |
1999-05-10 | wenzelm | pdf setup; | file | diff | annotate |
1999-05-04 | wenzelm | HOL part moved to 'logics-HOL' manual; | file | diff | annotate |
1999-01-20 | wenzelm | isabelle.in.tum.de; | file | diff | annotate |
1999-01-13 | paulson | removal of FOL and ZF | file | diff | annotate |