src/HOL/ex/Records.thy

--- a/src/HOL/ex/Records.thy	Tue Jun 29 10:07:56 2004 +0200
+++ b/src/HOL/ex/Records.thy	Tue Jun 29 11:18:34 2004 +0200
@@ -2,7 +2,6 @@
     ID:         $Id$
     Author:     Wolfgang Naraschewski, Norbert Schirmer and Markus Wenzel, 
                 TU Muenchen
-    License:    GPL (GNU GENERAL PUBLIC LICENSE)
 *)
 
 header {* Using extensible records in HOL -- points and coloured points *}