X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flicense;h=e51e9fcdc1061fc4bc878df46150f4e9a6c24766;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=354f8c0eedc8b42f070baf257cd9cb1d5d02ffb3;hpb=d359901f9ec139e773004750886c1f7b46447761;p=helm.git diff --git a/helm/ocaml/license b/helm/ocaml/license index 354f8c0ee..e51e9fcdc 100644 --- a/helm/ocaml/license +++ b/helm/ocaml/license @@ -1,4 +1,4 @@ -(* Copyright (C) 2004-2005, HELM Team. +(* Copyright (C) 2005, HELM Team. * * This file is part of HELM, an Hypertextual, Electronic * Library of Mathematics, developed at the Computer Science