doc-src/IsarImplementation/Thy/ROOT.ML
2010-10-22 wenzelm 2010-10-22 removed ML_old.thy, which is largely superseded by ML.thy;
2010-10-07 wenzelm 2010-10-07 basic setup for Chapter 0: Isabelle/ML;
2009-03-04 blanchet 2009-03-04 Merge.
2009-03-04 blanchet 2009-03-04 Merge.
2009-02-26 wenzelm 2009-02-26 basic setup for chapter "Syntax and type-checking";
2009-02-16 wenzelm 2009-02-16 observe usual theory naming conventions;
2006-09-04 wenzelm 2006-09-04 tuned;
2006-01-02 wenzelm 2006-01-02 "The Isabelle/Isar Implementation" manual;