src/HOL/IMP/Procs.thy
2011-10-20 nipkow 2011-10-20 renamed name -> vname
2011-06-06 kleing 2011-06-06 imported rest of new IMP