From: Andrea Asperti Date: Thu, 1 Jul 2004 15:28:10 +0000 (+0000) Subject: ... X-Git-Tag: pre_subst_in_kernel~11 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=64f8a55c41f9fbb702c39ed3a42664f9e7750218;p=helm.git ... --- diff --git a/helm/ocaml/cic/cic.ml b/helm/ocaml/cic/cic.ml index f9e99260d..e310b6a9f 100644 --- a/helm/ocaml/cic/cic.ml +++ b/helm/ocaml/cic/cic.ml @@ -23,17 +23,17 @@ * http://cs.unibo.it/helm/. *) -(******************************************************************************) -(* *) -(* PROJECT HELM *) -(* *) -(* Claudio Sacerdoti Coen *) -(* 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 *) -(* *) -(******************************************************************************) +(*****************************************************************************) +(* *) +(* PROJECT HELM *) +(* *) +(* Claudio Sacerdoti Coen *) +(* 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 *) +(* *) +(*****************************************************************************) (* STUFF TO MANAGE IDENTIFIERS *) type id = string (* the abstract type of the (annotated) node identifiers *)