doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex
2008-11-03 haftmann 2008-11-03 improved verbatim mechanism
2008-10-10 haftmann 2008-10-10 tuned
2008-10-10 haftmann 2008-10-10 tuned
2008-10-09 haftmann 2008-10-09 tuned
2008-07-08 wenzelm 2008-07-08 updated generated file;
2008-05-24 wenzelm 2008-05-24 updated generated file;
2008-01-09 haftmann 2008-01-09 some more primrec
2008-01-09 haftmann 2008-01-09 a note on syntax
2007-12-05 haftmann 2007-12-05 added something about instantiation target
2007-10-31 haftmann 2007-10-31 tuned
2007-10-26 haftmann 2007-10-26 adjusted
2007-10-12 haftmann 2007-10-12 updated
2007-10-12 haftmann 2007-10-12 added subclass command
2007-09-18 haftmann 2007-09-18 updated
2007-07-24 haftmann 2007-07-24 updated
2007-05-19 haftmann 2007-05-19 updated
2007-04-12 wenzelm 2007-04-12 updated;
2007-03-30 haftmann 2007-03-30 updated
2007-03-20 haftmann 2007-03-20 updated code generation sections
2007-02-14 haftmann 2007-02-14 continued class tutorial
2006-10-11 haftmann 2006-10-11 added tex files to CVS