changeset 37936 | 1e4c5015a72e |
parent 37811 | 4c25d41b9982 |
child 41774 | 13b97824aec6 |
--- a/src/HOL/Auth/KerberosIV.thy Thu Jul 22 17:26:31 2010 +0200 +++ b/src/HOL/Auth/KerberosIV.thy Thu Jul 22 18:08:39 2010 +0200 @@ -1,5 +1,4 @@ -(* Title: HOL/Auth/KerberosIV - ID: $Id$ +(* Title: HOL/Auth/KerberosIV.thy Author: Giampaolo Bella, Cambridge University Computer Laboratory Copyright 1998 University of Cambridge *)