doc-src/isabelle.sty
2008-05-15 wenzelm 2008-05-15 use Isabelle sty files from Doc/;