src/HOL/SAT.thy
changeset 33963 977b94b64905
parent 32232 6c394343360f
child 34120 f9920a3ddf50