src/HOL/SMT.thy
changeset 50999 3de230ed0547
parent 50317 4d1590544b91
child 55007 0c07990363a3