src/HOL/Auth/Yahalom_Bad.thy
1999-03-18 paulson 1999-03-18 added new theory Yahalom_Bad