src/HOL/Imperative_HOL/Imperative_HOL.thy
changeset 40671 5e46057ba8e0
parent 37776 df0350f1e7f2
child 53109 186535065f5c