src/HOL/Auth/Yahalom.thy
changeset 10519 ade64af4c57c
parent 6335 7e4bffaa2a3e
child 11185 1b737b4c2108