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