src/HOL/IMP/Hoare_Sound_Complete.thy
2013-12-18 nipkow 2013-12-18 added lemma
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-06-13 nipkow 2013-06-13 simplified proofs
2013-06-06 nipkow 2013-06-06 tuned defs
2013-06-03 nipkow 2013-06-03 corrected name
2013-05-28 nipkow 2013-05-28 tuned
2013-05-27 nipkow 2013-05-27 tuned
2013-05-27 nipkow 2013-05-27 tuned
2013-05-17 nipkow 2013-05-17 replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
2012-04-28 nipkow 2012-04-28 renamed Semi to Seq
2011-09-20 nipkow 2011-09-20 Updated IMP to use new induction method
2011-06-06 kleing 2011-06-06 imported rest of new IMP