doc-src/IsarImplementation/style.sty
2006-08-31 ago misc cleanup;
2006-08-31 ago mldecls: footnotesize;
2006-07-06 ago tuned;
2006-01-03 ago more stuff;
2006-01-02 ago "The Isabelle/Isar Implementation" manual;