src/HOL/SAT.thy
changeset 35928 d31f55f97663
parent 34120 f9920a3ddf50
child 39036 dff91b90d74c