src/HOL/Library/Boolean_Algebra.thy
changeset 69946 494934c30f38
parent 65343 0a8e30a7b10e
child 70186 18e94864fd0f