--- a/doc-src/TutorialI/ToyList/document/ToyList.tex Fri May 31 07:55:17 2002 +0200
+++ b/doc-src/TutorialI/ToyList/document/ToyList.tex Fri May 31 09:50:16 2002 +0200
@@ -38,7 +38,7 @@
The \isa{{\isadigit{6}}{\isadigit{5}}} is the priority of the infix \isa{{\isacharhash}}.
\begin{warn}
- Syntax annotations are can be powerful, but they are difficult to master and
+ Syntax annotations can be powerful, but they are difficult to master and
are never necessary. You
could drop them from theory \isa{ToyList} and go back to the identifiers
\isa{Nil} and \isa{Cons}.