more friendly wrt. PGs interpretation of compound *); added dedicated section on value and quickcheck
more friendly wrt. PGs interpretation of compound *); added dedicated section on value and quickcheck

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