src/HOL/IMP/Star.thy
2011-06-01 nipkow 2011-06-01 Replacing old IMP with new Semantics material