src/HOL/Tools/specification_package.ML
changeset 14620 1be590fd2422
parent 14223 0ee05eef881b
child 14769 b698d0b243dc
--- a/src/HOL/Tools/specification_package.ML	Sat Apr 17 20:04:23 2004 +0200
+++ b/src/HOL/Tools/specification_package.ML	Sat Apr 17 23:53:35 2004 +0200
@@ -1,7 +1,6 @@
 (*  Title:      HOL/Tools/specification_package.ML
     ID:         $Id$
     Author:     Sebastian Skalberg, TU Muenchen
-    License:    GPL (GNU GENERAL PUBLIC LICENSE)
 
 Package for defining constants by specification.
 *)