doc-src/isabellesym.sty
2011-04-27 wenzelm 2011-04-27 predefined LaTeX macros for \<bind> and \<then>;
2010-12-02 wenzelm 2010-12-02 isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;
2010-11-07 wenzelm 2010-11-07 updated generated file;
2008-05-15 wenzelm 2008-05-15 use Isabelle sty files from Doc/;