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