added LICENSE files to be included in the HELM sources

diff --git a/helm/helm_data/LICENSE b/helm/helm_data/LICENSE
index 4d118cedff0e22e1163113488d6d890f8591399c..72f9426c8f071ba245c35a007986f55d1190c6ff 100644 (file)
--- a/helm/helm_data/LICENSE
+++ b/helm/helm_data/LICENSE
@@ -1,4 +1,4 @@
-Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
+Copyright (C) 2000, HELM Team.

 
 This file is part of HELM, an Hypertextual, Electronic
 Library of Mathematics, developed at the Computer Science
 
 This file is part of HELM, an Hypertextual, Electronic
 Library of Mathematics, developed at the Computer Science