src/HOL/Presburger.thy

--- a/src/HOL/Presburger.thy	Tue Jun 05 16:26:04 2007 +0200
+++ b/src/HOL/Presburger.thy	Tue Jun 05 16:26:06 2007 +0200
@@ -1,9 +1,6 @@
 (*  Title:      HOL/Presburger.thy
     ID:         $Id$
     Author:     Amine Chaieb, Tobias Nipkow and Stefan Berghofer, TU Muenchen
-
-File containing necessary theorems for the proof
-generation for Cooper Algorithm  
 *)
 
 header {* Presburger Arithmetic: Cooper's Algorithm *}