Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Changeset 75611:66edc020a322 by mathias fleury _mathias.fleury@mpi-inf.mpg.de_: missing recursive let-expansion in SMT translation
The file was modified	`src/HOL/Tools/SMT/smt_translate.ML`