src/HOL/SAT.thy
changeset 24728 e2b3a1065676
parent 21588 cd0dc678a205
child 26521 f8c4e79db153