src/HOL/SMT.thy
changeset 54257 5c7a3b6b05a9
parent 50317 4d1590544b91
child 55007 0c07990363a3