diff options
| -rw-r--r-- | doc/newfaq/main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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''. |