Summary
- tuning
- SMT news
- correctly unfold applied 'let's (e.g. '(let x = a in f) b') -- and removed dead code
The file was modified | src/HOL/Tools/SMT/smt_translate.ML (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Tools/SMT/smt_translate.ML (diff) |
The file was modified | src/HOL/Tools/SMT/smtlib_interface.ML (diff) |