Introduction and elimination rules for <= on predicates are now declared properly.
Introduction and elimination rules for <= on predicates
are now declared properly.

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