--- a/src/HOL/Auth/Guard/Extensions.thy Fri Feb 18 15:46:13 2011 +0100
+++ b/src/HOL/Auth/Guard/Extensions.thy Fri Feb 18 16:07:32 2011 +0100
@@ -1,13 +1,7 @@
-(******************************************************************************
-date: november 2001
-author: Frederic Blanqui
-email: blanqui@lri.fr
-webpage: http://www.lri.fr/~blanqui/
-
-University of Cambridge, Computer Laboratory
-William Gates Building, JJ Thomson Avenue
-Cambridge CB3 0FD, United Kingdom
-******************************************************************************)
+(* Title: HOL/Auth/Guard/Extensions.thy
+ Author: Frederic Blanqui, University of Cambridge Computer Laboratory
+ Copyright 2001 University of Cambridge
+*)
header {*Extensions to Standard Theories*}