X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelm_data%2FLICENSE;h=72f9426c8f071ba245c35a007986f55d1190c6ff;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=4d118cedff0e22e1163113488d6d890f8591399c;hpb=722660d9017f25c9a33df41442ae67f2561de0c8;p=helm.git diff --git a/helm/helm_data/LICENSE b/helm/helm_data/LICENSE index 4d118cedf..72f9426c8 100644 --- a/helm/helm_data/LICENSE +++ b/helm/helm_data/LICENSE @@ -1,4 +1,4 @@ -Copyright (C) 2000, Luca Padovani . +Copyright (C) 2000, HELM Team. This file is part of HELM, an Hypertextual, Electronic Library of Mathematics, developed at the Computer Science