handling the case where quickcheck is used in a locale with no known interpretation user-friendly
handling the case where quickcheck is used in a locale with no known interpretation user-friendly

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