| 2011-04-08 | wenzelm | renamed sprop "prop#" to "prop'" -- proper identifier; | file | diff | annotate |
| 2011-04-08 | wenzelm | discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext); | file | diff | annotate |
| 2010-12-29 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| 2010-11-22 | haftmann | renamed slightly ambivalent crel to effect | file | diff | annotate |
| 2010-11-04 | haftmann | added note on countable types | file | diff | annotate |
| 2010-09-27 | haftmann | added hint on reference equality | file | diff | annotate |
| 2010-09-22 | haftmann | tuned text | file | diff | annotate |
| 2010-09-13 | haftmann | added Imperative HOL overview | file | diff | annotate |