src/HOL/Imperative_HOL/Overview.thy
changeset 47255 30a1692557b0
parent 42293 6cca0343ea48
child 56239 17df7145a871