src/HOL/Auth/Event.thy
1996-06-28 paulson 1996-06-28 Proving safety properties of authentication protocols