diff options
| author |  narboux <narboux@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-04-29 12:23:34 +0000 |
|---|---|---|
| committer | narboux <narboux@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-04-29 12:23:34 +0000 |
| commit | 314df21b446af54ee1236bc91ad3983791fc7aa3 (patch) | |
| tree | 8642277a42ce992b758bd4c67fcd0c8e5e3fd331 /doc | |
| parent | 9b8b58dcd51b1ceebd2c73503477c9c20e980243 (diff) | |
fote dortografe
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8556 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
| -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 2277fc3f8..b031694de 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''. |