]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helm_data/LICENSE
ocaml 3.09 transition
[helm.git] / helm / helm_data / LICENSE
index 4d118cedff0e22e1163113488d6d890f8591399c..72f9426c8f071ba245c35a007986f55d1190c6ff 100644 (file)
@@ -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