tuned subsubsection names in Quickcheck_Narrowing
tuned subsubsection names in Quickcheck_Narrowing

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