src/HOL/Auth/Yahalom.thy
changeset 10673 337c00fd385b
parent 6335 7e4bffaa2a3e
child 11185 1b737b4c2108