--- a/src/HOL/Auth/Guard/Analz.thy Fri Feb 18 15:46:13 2011 +0100
+++ b/src/HOL/Auth/Guard/Analz.thy Fri Feb 18 16:07:32 2011 +0100
@@ -1,13 +1,7 @@
-(******************************************************************************
-date: december 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/Analz.thy
+ Author: Frederic Blanqui, University of Cambridge Computer Laboratory
+ Copyright 2001 University of Cambridge
+*)
header{*Decomposition of Analz into two parts*}