diff options
Diffstat (limited to 'kernel/term.ml')
-rw-r--r-- | kernel/term.ml | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/kernel/term.ml b/kernel/term.ml index 736734365..08bcd1ddd 100644 --- a/kernel/term.ml +++ b/kernel/term.ml @@ -1,10 +1,10 @@ -(***********************************************************************) -(* v * The Coq Proof Assistant / The Coq Development Team *) -(* <O___,, * INRIA-Rocquencourt & LRI-CNRS-Orsay *) -(* \VV/ *************************************************************) -(* // * This file is distributed under the terms of the *) -(* * GNU Lesser General Public License Version 2.1 *) -(***********************************************************************) +(************************************************************************) +(* v * The Coq Proof Assistant / The Coq Development Team *) +(* <O___,, * CNRS-Ecole Polytechnique-INRIA Futurs-Universite Paris Sud *) +(* \VV/ **************************************************************) +(* // * This file is distributed under the terms of the *) +(* * GNU Lesser General Public License Version 2.1 *) +(************************************************************************) (* $Id$ *) @@ -256,9 +256,9 @@ let mkCoFix cofix = CoFix cofix let kind_of_term c = c -(***********************************************************************) +(************************************************************************) (* kind_of_term = constructions as seen by the user *) -(***********************************************************************) +(************************************************************************) (* User view of [constr]. For [App], it is ensured there is at least one argument and the function is not itself an applicative |