24 months ago blanchet [Tue, 20 Jun 2017 14:41:29 +0200] rev 66135
SMT news
NEWS

24 months ago blanchet [Tue, 20 Jun 2017 14:33:45 +0200] rev 66134
correctly unfold applied 'let's (e.g. '(let x = a in f) b') -- and removed dead code
src/HOL/Tools/SMT/smt_translate.ML src/HOL/Tools/SMT/smtlib_interface.ML

24 months ago haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66133
do not print unimplemented functions
src/Pure/Isar/code.ML

24 months ago haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66132
dropped void values
src/Pure/Isar/code.ML

24 months ago haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66131
more uniform order of constructors
src/Pure/Isar/code.ML

24 months ago haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66130
more consistent terminology
src/Pure/Isar/code.ML

24 months ago haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66129
avoid name particle "the" where no selection is implied
src/Pure/Isar/code.ML

24 months ago haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66128
more uniform ordering and naming of sections;
proper local function
src/Pure/Isar/code.ML

24 months ago haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66127
tuned internal signature
src/Pure/Isar/code.ML

24 months ago haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66126
more explicit constructor name
src/Pure/Isar/code.ML