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