src/HOL/SAT.thy
changeset 22013 a3519c0c2d8f
parent 21588 cd0dc678a205
child 26521 f8c4e79db153