--- a/src/HOL/AxClasses/Product.thy Fri Dec 15 17:59:30 2000 +0100
+++ b/src/HOL/AxClasses/Product.thy Fri Dec 15 17:59:45 2000 +0100
@@ -1,6 +1,7 @@
(* Title: HOL/AxClasses/Product.thy
ID: $Id$
Author: Markus Wenzel, TU Muenchen
+ License: GPL (GNU GENERAL PUBLIC LICENSE)
*)
theory Product = Main: