diff options
Diffstat (limited to 'doc/faq/FAQ.tex')
-rw-r--r-- | doc/faq/FAQ.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/faq/FAQ.tex b/doc/faq/FAQ.tex index 5a6691072..589933578 100644 --- a/doc/faq/FAQ.tex +++ b/doc/faq/FAQ.tex @@ -1465,7 +1465,7 @@ You can use the {\tt Clear} command. \Question{How can use a proof which is not finished?} You can use the {\tt Admitted} command to state your current proof as an axiom. -You can use the {\tt admit} tactic to omit a portion of a proof. +You can use the {\tt give\_up} tactic to omit a portion of a proof. \Question{How can I state a conjecture?} |