doc-src/IsarImplementation/Thy/logic.thy
2006-09-05 wenzelm 2006-09-05 more on types and type classes;
2006-09-05 wenzelm 2006-09-05 tuned;
2006-09-04 wenzelm 2006-09-04 tuned;
2006-09-04 wenzelm 2006-09-04 more on variables; tuned;
2006-08-31 wenzelm 2006-08-31 misc cleanup;
2006-08-31 wenzelm 2006-08-31 tuned;
2006-08-30 wenzelm 2006-08-30 tuned;
2006-01-02 wenzelm 2006-01-02 "The Isabelle/Isar Implementation" manual;