--- a/src/HOL/Auth/KerberosV.thy Thu Jul 22 17:26:31 2010 +0200 +++ b/src/HOL/Auth/KerberosV.thy Thu Jul 22 18:08:39 2010 +0200 @@ -1,4 +1,4 @@ -(* ID: $Id$ +(* Title: HOL/Auth/KerberosV.thy Author: Giampaolo Bella, Catania University *)