doc-src/Logics/preface.tex
2000-08-28 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
1999-05-10 wenzelm cite HOLCF;
1999-05-10 wenzelm pdf setup;
1999-05-04 wenzelm HOL part moved to 'logics-HOL' manual;
1999-01-20 wenzelm isabelle.in.tum.de;
1999-01-13 paulson removal of FOL and ZF
less more (0) tip