src/HOL/Imperative_HOL/Overview.thy
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-11-22 haftmann 2010-11-22 renamed slightly ambivalent crel to effect
2010-11-04 haftmann 2010-11-04 added note on countable types
2010-09-27 haftmann 2010-09-27 added hint on reference equality
2010-09-22 haftmann 2010-09-22 tuned text
2010-09-13 haftmann 2010-09-13 added Imperative HOL overview