use uniform naming for referencing cicNotation* modules

[helm.git] / helm / ocaml / cic_notation / box.ml

diff --git a/helm/ocaml/cic_notation/box.ml b/helm/ocaml/cic_notation/box.ml
index 241214f9ce883aa993deef1695458b2c1df3d3dc..7c4026d8120f0df49214b636f9598d66d9163c0f 100644 (file)
--- 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