doc-src/IsarAdvanced/Classes/classes.tex
2008-05-15 ago use Isabelle sty files from Doc/;
2008-05-05 ago removed isasymIN -- already defined in isar.sty;
2008-01-09 ago some more primrec
2007-12-05 ago added something about instantiation target
2007-07-24 ago updated
2007-02-23 ago continued
2007-02-14 ago continued class tutorial
2006-10-10 ago initial draft