src/HOL/SMT.thy
changeset 47988 e4b69e10b990
parent 47701 157e6108a342
child 48892 0b2407f406e8