--- a/src/Pure/axclass.ML Fri Aug 31 18:43:27 2001 +0200
+++ b/src/Pure/axclass.ML Fri Aug 31 18:46:48 2001 +0200
@@ -1,6 +1,7 @@
(* Title: Pure/axclass.ML
ID: $Id$
Author: Markus Wenzel, TU Muenchen
+ License: GPL (GNU GENERAL PUBLIC LICENSE)
Axiomatic type class package.
*)