src/HOL/IMP/Star.thy
2012-11-12 nipkow 2012-11-12 tuned layout
2011-10-25 nipkow 2011-10-25 tuned names to avoid shadowing
2011-09-20 nipkow 2011-09-20 Updated IMP to use new induction method
2011-06-01 nipkow 2011-06-01 Replacing old IMP with new Semantics material