From 314df21b446af54ee1236bc91ad3983791fc7aa3 Mon Sep 17 00:00:00 2001
From: narboux
Date: Thu, 29 Apr 2004 12:23:34 +0000
Subject: fote dortografe

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8556 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/newfaq/main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/newfaq/main.tex b/doc/newfaq/main.tex
index 2277fc3f83..b031694de8 100644
--- a/doc/newfaq/main.tex
+++ b/doc/newfaq/main.tex
@@ -1200,7 +1200,7 @@ language itself (in this case an inductive type denoting arithmetical
 expressions).  For more information see~\cite{howe,harrison,boutin}
 and the last chapter of the Coq'Art.
 
-\Question{What is intuitionnistic logic ?}
+\Question{What is intuitionistic logic ?}
 
 This is any logic which does not assume that ``A or not A''.
 
-- 
cgit v1.2.3