src/HOL/Hoare/Hoare_Logic.thy
changeset 35898 c890a3835d15
parent 35416 d8d7d1b785af
child 36643 f36588af1ba1