src/HOL/IMP/Procs_Stat_Vars_Dyn.thy
changeset 73395 6a96e9406e53
parent 53015 a1119cf551e8
equal deleted inserted replaced
73394:2e6b2134956e 73395:6a96e9406e53