src/HOL/IMP/Procs_Stat_Vars_Dyn.thy
2011-06-06 kleing 2011-06-06 imported rest of new IMP