src/HOL/Library/Boolean_Algebra.thy
changeset 42230 594480d25aaa
parent 34973 ae634fad947e
child 54868 bab6cade3cc5