diff options
Diffstat (limited to 'contrib/xml')
| -rw-r--r-- | contrib/xml/Xml.v | 7 | ||||
| -rw-r--r-- | contrib/xml/xml.ml | 7 | ||||
| -rw-r--r-- | contrib/xml/xml.mli | 7 | ||||
| -rw-r--r-- | contrib/xml/xmlcommand.ml | 7 | ||||
| -rw-r--r-- | contrib/xml/xmlcommand.mli | 7 | ||||
| -rw-r--r-- | contrib/xml/xmlentries.ml | 7 |
6 files changed, 42 insertions, 0 deletions
diff --git a/contrib/xml/Xml.v b/contrib/xml/Xml.v index 5c6b788aa3..f1d91371e9 100644 --- a/contrib/xml/Xml.v +++ b/contrib/xml/Xml.v @@ -1,3 +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 *) +(***********************************************************************) (******************************************************************************) (* *) (* PROJECT HELM *) diff --git a/contrib/xml/xml.ml b/contrib/xml/xml.ml index 635e83f68a..60e16ab19b 100644 --- a/contrib/xml/xml.ml +++ b/contrib/xml/xml.ml @@ -1,3 +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 *) +(***********************************************************************) (******************************************************************************) (* *) (* PROJECT HELM *) diff --git a/contrib/xml/xml.mli b/contrib/xml/xml.mli index 0510d978da..fbdb584ee8 100644 --- a/contrib/xml/xml.mli +++ b/contrib/xml/xml.mli @@ -1,3 +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 *) +(***********************************************************************) (******************************************************************************) (* *) (* PROJECT HELM *) diff --git a/contrib/xml/xmlcommand.ml b/contrib/xml/xmlcommand.ml index 906cf8b078..3927827276 100644 --- a/contrib/xml/xmlcommand.ml +++ b/contrib/xml/xmlcommand.ml @@ -1,3 +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 *) +(***********************************************************************) (******************************************************************************) (* *) (* PROJECT HELM *) diff --git a/contrib/xml/xmlcommand.mli b/contrib/xml/xmlcommand.mli index 1c9b22070a..0ddc01c9a4 100644 --- a/contrib/xml/xmlcommand.mli +++ b/contrib/xml/xmlcommand.mli @@ -1,3 +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 *) +(***********************************************************************) (******************************************************************************) (* *) (* PROJECT HELM *) diff --git a/contrib/xml/xmlentries.ml b/contrib/xml/xmlentries.ml index ffa0d5fc79..093727f2f1 100644 --- a/contrib/xml/xmlentries.ml +++ b/contrib/xml/xmlentries.ml @@ -1,3 +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 *) +(***********************************************************************) (******************************************************************************) (* *) (* PROJECT HELM *) |