src/HOL/Auth/Yahalom.thy
changeset 3686 4b484805b4c4
parent 3683 aafe719dff14
child 3961 6a8996fb7d99