src/HOL/Auth/Guard/Guard_Yahalom.thy
2005-09-14 wenzelm 2005-09-14 renamed Guard/NS_Public, Guard/OtwayRees, Guard/Yahalom.thy to avoid clash with plain Auth versions;