src/HOL/Imperative_HOL/Ref.thy
changeset 47255 30a1692557b0
parent 40671 5e46057ba8e0
child 48073 1b609a7837ef