added unfold_tac (Simplifier.inherit_bounds);
added unfold_tac (Simplifier.inherit_bounds);

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