src/HOL/Tools/SMT/smtlib.ML
2015-12-20 wenzelm 2015-12-20 renamed Pretty.str_of to Pretty.unformatted_string_of to emphasize its meaning;
2014-08-28 blanchet 2014-08-28 renamed new SMT module from 'SMT2' to 'SMT'