doc-src/isabelle.sty
2008-06-24 wenzelm 2008-06-24 updated generated file;
2008-05-15 wenzelm 2008-05-15 use Isabelle sty files from Doc/;