doc-src/IsarImplementation/implementation.tex
2006-08-31 ago misc cleanup;
2006-07-08 ago tuned;
2006-07-06 ago tuned;
2006-03-04 ago tuned;
2006-01-03 ago more stuff;
2006-01-02 ago "The Isabelle/Isar Implementation" manual;