src/HOL/Auth/Yahalom2.thy
changeset 2919 953a47dc0519
parent 2516 4d68fbe6378b
child 3432 04412cfe6861