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