src/HOL/IMP/Procs_Dyn_Vars_Dyn.thy
changeset 82861 3e1521dc095d
parent 80914 d97fdabd9e2b