doc-src/IsarAdvanced/Classes/Thy/document/isabelle.sty
2007-10-16 wenzelm 2007-10-16 updated;
2007-04-12 wenzelm 2007-04-12 updated;
2006-10-11 haftmann 2006-10-11 added tex files to CVS