src/HOL/Tools/SMT/smt_util.ML
changeset 72458 b44e894796d5
parent 70159 57503fe1b0ff
child 74282 c2ee8d993d6a
equal deleted inserted replaced
72457:2c7f0ef8323a 72458:b44e894796d5