diff options
| author | filliatr | 2001-03-15 13:38:59 +0000 |
|---|---|---|
| committer | filliatr | 2001-03-15 13:38:59 +0000 |
| commit | 187dc15532f0c6f380d7bcb07adc2180c29fedc2 (patch) | |
| tree | d7bacf01519ca82b5745d2c493c7f7f1826106af /contrib/xml | |
| parent | 23741168b109daece8bb588b9c5fb4506e7726ce (diff) | |
entetes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1469 85f007b7-540e-0410-9357-904b9bb8a0f7
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 *) |