updated Nitpick's documentation w.r.t. finitization
updated Nitpick's documentation w.r.t. finitization

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle