src/HOL/Imperative_HOL/Imperative_HOL_ex.thy
changeset 37947 844977c7abeb
parent 37845 b70d7a347964
child 37959 6fe5fa827f18