src/HOL/Auth/Event.thy
Fri, 28 Jun 1996 15:26:39 +0200 paulson Proving safety properties of authentication protocols
less more (0) tip