
diff -r d666f11ca2d4 -r 51e70b7bc315 doc-src/TutorialI/Inductive/AB.thy
--- a/doc-src/TutorialI/Inductive/AB.thy	Fri May 18 17:18:43 2001 +0200
+++ b/doc-src/TutorialI/Inductive/AB.thy	Sat May 19 12:19:23 2001 +0200
@@ -285,7 +285,7 @@
 
 text{*
 We conclude this section with a comparison of our proof with 
-Hopcroft and Ullman's \cite[p.\ts81]{HopcroftUllman}. For a start, the texbook
+Hopcroft and Ullman's \cite[p.\ts81]{HopcroftUllman}. For a start, the textbook
 grammar, for no good reason, excludes the empty word, thus complicating
 matters just a little bit: they have 8 instead of our 7 productions.
 




