X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2Fbox.ml;fp=helm%2Focaml%2Fcic_notation%2Fbox.ml;h=7c4026d8120f0df49214b636f9598d66d9163c0f;hb=1ca0ec89cfc2c3f85af95d5b1bdad07597d976bd;hp=241214f9ce883aa993deef1695458b2c1df3d3dc;hpb=172e33ea0aabf7ef066e73fbe577061955327693;p=helm.git

diff --git a/helm/ocaml/cic_notation/box.ml b/helm/ocaml/cic_notation/box.ml
index 241214f9c..7c4026d81 100644
--- a/helm/ocaml/cic_notation/box.ml
+++ b/helm/ocaml/cic_notation/box.ml
@@ -1,4 +1,4 @@
-(* Copyright (C) 2000, HELM Team.
+(* Copyright (C) 2000-2005, HELM Team.
  * 
  * This file is part of HELM, an Hypertextual, Electronic
  * Library of Mathematics, developed at the Computer Science