src/HOL/Library/Boolean_Algebra.thy
changeset 66787 64b47495676d
parent 65343 0a8e30a7b10e
child 70186 18e94864fd0f