- additional congruence rules for boolean operators - additional rewrite rules for exI / exE
- additional congruence rules for boolean operators
- additional rewrite rules for exI / exE

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