src/HOL/Imperative_HOL/Overview.thy
2011-04-08 wenzelm 2011-04-08 renamed sprop "prop#" to "prop'" -- proper identifier; eliminated spurious symbolic string bindings (logic, any etc.); hardwired special "prop" vs. "prop'" conversion; tuned;
2011-04-08 wenzelm 2011-04-08 discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext); clarified Syntax.root;
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