diff options
| -rw-r--r-- | CREDITS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ The "Coq proof assistant" was developed conjointly by associated to CNRS and ENS Lyon (sept.89-sept.97), Laboratoire de Recherche en Informatique (LRI) associated to CNRS and Paris Sud (since sept. 97), - Laboratoire d'Informatique de l'Ecole Polytechnique (since jan 03) + Laboratoire d'Informatique de l'Ecole Polytechnique (since jan. 03) associated to CNRS and Ecole Polytechnique. All files of the "Coq proof assistant" in directories or sub-directories of |