--- a/doc-src/Nitpick/nitpick.tex Tue Oct 27 19:00:17 2009 +0100
+++ b/doc-src/Nitpick/nitpick.tex Tue Oct 27 21:53:13 2009 +0100
@@ -2467,7 +2467,7 @@
representation of functions synthesized by Isabelle, which is an implementation
detail.
-\item[$\bullet$] Nitpick maintains a global cache of wellformedness conditions,
+\item[$\bullet$] Nitpick maintains a global cache of wellfoundedness conditions,
which can become invalid if you change the definition of an inductive predicate
that is registered in the cache. To clear the cache,
run Nitpick with the \textit{tac\_timeout} option set to a new value (e.g.,