src/HOL/Auth/Yahalom2.thy
changeset 73677 73c50ce808ed
parent 69597 ff784d5a5bfb
equal deleted inserted replaced
73676:51429b78aadf 73677:73c50ce808ed