src/HOL/Auth/Yahalom2.thy
changeset 3500 0d8ad2f192d8
parent 3481 256f38c01b98
child 3519 ab0a9fbed4c0