src/HOL/SMT.thy
changeset 45231 d85a2fdc586c
parent 44488 587bf61a00a1
child 45392 828e08541cee