src/HOL/Auth/Yahalom2.thy
changeset 66787 64b47495676d
parent 64364 464420ba7f74
child 67226 ec32cdaab97b