X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flicense;fp=helm%2Focaml%2Flicense;h=e51e9fcdc1061fc4bc878df46150f4e9a6c24766;hb=2ee738ded92798fbbf66b65f449102cda761ec9f;hp=354f8c0eedc8b42f070baf257cd9cb1d5d02ffb3;hpb=a3fb06e72407e3590fa60a74ac5fec01e6bfe1f9;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