src/HOL/IMP/Sec_Typing.thy
2012-12-04 nipkow 2012-12-04 tuned defs of sec_xyz
2012-04-28 nipkow 2012-04-28 renamed Semi to Seq
2011-12-12 nipkow 2011-12-12 tuned
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