src/HOL/Tools/boolean_algebra_cancel.ML
2016-01-05 wenzelm 2016-01-05 updated headers;
2015-11-11 Andreas Lochbihler 2015-11-11 cancel complementary terms as arguments to sup/inf in boolean algebras