1.1 --- a/doc-src/Nitpick/nitpick.tex	Fri Nov 18 11:47:12 2011 +0100
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Fri Nov 18 11:47:12 2011 +0100
     1.3 @@ -1831,7 +1831,7 @@
     1.4  {\slshape Nitpick ran out of time after checking 7 of 10 scopes.}
     1.5  \postw
     1.6  
     1.7 -We could continue like this and sketch a complete theory of AA trees. Once the
     1.8 +We could continue like this and sketch a full-blown theory of AA trees. Once the
     1.9  definitions and main theorems are in place and have been thoroughly tested using
    1.10  Nitpick, we could start working on the proofs. Developing theories this way
    1.11  usually saves time, because faulty theorems and definitions are discovered much