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