doc-src/Classes/classes.tex
2011-05-01 wenzelm 2011-05-01 eliminated copies of isabelle style files;
2009-06-17 paulson 2009-06-17 Polishing the English
2009-05-26 haftmann 2009-05-26 weakend references to old axclass
2009-03-03 haftmann 2009-03-03 tuned manuals
2009-03-03 haftmann 2009-03-03 more canonical directory structure of manuals