doc-src/IsarImplementation/checkglossary
2006-01-02 wenzelm 2006-01-02 "The Isabelle/Isar Implementation" manual;