src/HOL/Imperative_HOL/ex/SatChecker.thy
changeset 37380 35815ce9218a
parent 36147 b43b22f63665
child 37456 0a1cc2675958