changeset 62058 | 1cfd5d604937 |
parent 61629 | 90f54d9e63f2 |
child 62391 | 1658fc9b2618 |
--- a/src/HOL/Tools/boolean_algebra_cancel.ML Tue Jan 05 13:41:29 2016 +0100 +++ b/src/HOL/Tools/boolean_algebra_cancel.ML Tue Jan 05 13:48:51 2016 +0100 @@ -1,4 +1,4 @@ -(* Title: boolean_algebra_cancel.ML +(* Title: HOL/Tools/boolean_algebra_cancel.ML Author: Andreas Lochbihler, ETH Zurich Simplification procedures for boolean algebras: