src/HOL/Library/Imperative_HOL.thy
2008-02-27 haftmann 2008-02-27 added theories for imperative HOL