diff options
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
| -rw-r--r-- | doc/tutorial/Tutorial.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tutorial/Tutorial.tex b/doc/tutorial/Tutorial.tex index 9e085bbea5..3a91664db7 100644 --- a/doc/tutorial/Tutorial.tex +++ b/doc/tutorial/Tutorial.tex @@ -1550,7 +1550,7 @@ SearchHead le. The \verb:Search: commands also allows finding the theorems containing a given pattern, where \verb:_: can be used in -place of an arbitrary term. Note in passing that \Coq{} +place of an arbitrary term. As shown in this example, \Coq{} provides usual infix notations for arithmetic operators. \begin{coq_example} |