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