paramodulation is no longer a self-alone module

[helm.git] / helm / ocaml / license

diff --git a/helm/ocaml/license b/helm/ocaml/license
index e51e9fcdc1061fc4bc878df46150f4e9a6c24766..c67e1fc290b6f8aadf08b6259488be1e1af62193 100644 (file)
--- 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