| 2012-02-09 | wenzelm | basic setup for equational reasoning; | file | diff | annotate |
| 2010-10-22 | wenzelm | removed ML_old.thy, which is largely superseded by ML.thy; | file | diff | annotate |
| 2010-10-13 | wenzelm | examples in Isabelle/HOL; | file | diff | annotate |
| 2010-10-07 | wenzelm | basic setup for Chapter 0: Isabelle/ML; | file | diff | annotate |
| 2009-03-11 | wenzelm | delete unused generated files; | file | diff | annotate |
| 2009-03-11 | wenzelm | tuned; | file | diff | annotate |
| 2009-02-26 | wenzelm | basic setup for chapter "Syntax and type-checking"; | file | diff | annotate |
| 2009-02-16 | wenzelm | observe usual theory naming conventions; | file | diff | annotate |
| 2008-10-04 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| 2006-11-15 | wenzelm | common antiquote_setup.ML; | file | diff | annotate |
| 2006-09-04 | wenzelm | tuned; | file | diff | annotate |
| 2006-01-02 | wenzelm | "The Isabelle/Isar Implementation" manual; | file | diff | annotate |