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