doc-src/Locales/Locales/document/isabelle.sty
2007-10-16 wenzelm 2007-10-16 updated;
2007-04-12 wenzelm 2007-04-12 updated;
2006-02-06 wenzelm 2006-02-06 updated;
2005-09-20 wenzelm 2005-09-20 updated;
2005-09-01 wenzelm 2005-09-01 updated;
2005-08-29 wenzelm 2005-08-29 updated;
2005-08-28 wenzelm 2005-08-28 updated;
2005-08-19 wenzelm 2005-08-19 tuned arrangement of generated stuff;