diff options
| -rw-r--r-- | contrib/extraction/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/extraction/README b/contrib/extraction/README index 2a7bc05645..98618afb56 100644 --- a/contrib/extraction/README +++ b/contrib/extraction/README @@ -105,7 +105,7 @@ Go there. (*): Exécution de termes de preuves: une nouvelle méthode d'extraction pour le Calcul des Constructions Inductives, Pierre Letouzey, -master thesis, 2000, +DEA thesis, 2000, http://www.eleves.ens.fr/home/letouzey/download/rapport_dea.ps.gz |