src/HOL/Auth/Yahalom.thy
changeset 73866 66bff50bc5f1
parent 69597 ff784d5a5bfb
equal deleted inserted replaced
73865:4e94ceabaaad 73866:66bff50bc5f1