src/HOL/Prolog/Test.thy

--- a/src/HOL/Prolog/Test.thy	Sun Jun 20 09:30:12 2004 +0200
+++ b/src/HOL/Prolog/Test.thy	Mon Jun 21 10:25:57 2004 +0200
@@ -1,7 +1,6 @@
 (*  Title:    HOL/Prolog/Test.thy
     ID:       $Id$
     Author:   David von Oheimb (based on a lecture on Lambda Prolog by Nadathur)
-    License:  GPL (GNU GENERAL PUBLIC LICENSE)
 
 basic examples 
 *)