diff options
Diffstat (limited to 'theories/Classes/Functions.v')
-rw-r--r-- | theories/Classes/Functions.v | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/theories/Classes/Functions.v b/theories/Classes/Functions.v index 80d60d658..8c6161036 100644 --- a/theories/Classes/Functions.v +++ b/theories/Classes/Functions.v @@ -6,11 +6,11 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* Functional morphisms. +(** * Functional morphisms. Author: Matthieu Sozeau - Institution: LRI, CNRS UMR 8623 - UniversitĂcopyright Paris Sud - 91405 Orsay, France *) + Institution: LRI, CNRS UMR 8623 - University Paris Sud +*) (* $Id$ *) |