src/HOL/SAT.thy
changeset 28263 69eaa97e7e96
parent 26521 f8c4e79db153
child 30510 4120fc59dd85