doc-src/IsarImplementation/style.sty
2006-09-15 wenzelm 2006-09-15 tuned;
2006-09-11 wenzelm 2006-09-11 tuned;
2006-09-07 wenzelm 2006-09-07 tuned;
2006-09-05 wenzelm 2006-09-05 added \isactrlvec;
2006-09-04 wenzelm 2006-09-04 more on variables; tuned;
2006-08-31 wenzelm 2006-08-31 misc cleanup;
2006-08-31 wenzelm 2006-08-31 mldecls: footnotesize;
2006-07-06 wenzelm 2006-07-06 tuned;
2006-01-03 wenzelm 2006-01-03 more stuff;
2006-01-02 wenzelm 2006-01-02 "The Isabelle/Isar Implementation" manual;