doc-src/IsarImplementation/Thy/unused.thy
2006-01-02 ago "The Isabelle/Isar Implementation" manual;