src/HOL/Auth/Guard/Guard_Yahalom.thy
changeset 41975 d47eabd80e59
parent 41775 6214816d79d3
child 56073 29e308b56d23
equal deleted inserted replaced
41974:6e691abef08f 41975:d47eabd80e59