src/HOL/IMP/Sec_TypingT.thy
2013-12-25 haftmann 2013-12-25 abolished slightly odd global lattice interpretation for min/max
2013-12-25 haftmann 2013-12-25 prefer more canonical names for lemmas on min/max
2013-08-13 wenzelm 2013-08-13 standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
2013-06-17 nipkow 2013-06-17 made proofs more readable
2013-05-17 nipkow 2013-05-17 replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
2013-03-18 kleing 2013-03-18 lemma names and a corollary
2012-12-04 nipkow 2012-12-04 tuned defs of sec_xyz
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