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