src/HOL/Library/Boolean_Algebra.thy
changeset 47220 52426c62b5d0
parent 34973 ae634fad947e
child 54868 bab6cade3cc5