X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelm_data%2FLICENSE;h=72f9426c8f071ba245c35a007986f55d1190c6ff;hb=515c1195a3b3ff86bf002091b4535bc812aa40ea;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