* .mli added where needed

[helm.git] / helm / ocaml / cic / cic.ml

diff --git a/helm/ocaml/cic/cic.ml b/helm/ocaml/cic/cic.ml
index 8c08b0075dec425113df9f2bacae31a67b12f6c1..5c42f9e76c9efeb0af3dd3c6fbe87bd6e1afc24a 100644 (file)
--- a/helm/ocaml/cic/cic.ml
+++ b/helm/ocaml/cic/cic.ml
@@ -28,7 +28,7 @@
 (*                               PROJECT HELM                                 *)
 (*                                                                            *)
 (*                Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>               *)
-(*                                 14/06/2000                                 *)
+(*                                 29/11/2000                                 *)
 (*                                                                            *)
 (* This module defines the internal representation of the objects (variables, *)
 (* blocks of (co)inductive definitions and constants) and the terms of cic    *)