moved generic definitions about relations from Quotient.thy to Predicate; more natural deduction rules
moved generic definitions about relations from Quotient.thy to Predicate;
more natural deduction rules

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