changeset 33559 63925777ccf9
parent 33557 107f3df799f6
child 33561 ab01b72715ef
--- 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
-\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.,