src/HOL/Hoare/Hoare.thy
changeset 48764 4fe0920d5049
parent 35321 c298a4fc324b
child 72806 4fa08e083865