added fresh_prodD, which is included fresh_prodD into mksimps setup;
added fresh_prodD, which is included fresh_prodD into mksimps setup;

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