doc-src/IsarImplementation/intro.tex
2006-01-02 ago "The Isabelle/Isar Implementation" manual;