isabelle: Changelog

wenzelm [Tue, 20 Jun 2017 11:19:06 +0200] rev 66137

tuned signature;

blanchet [Tue, 20 Jun 2017 14:41:35 +0200] rev 66136

tuning

blanchet [Tue, 20 Jun 2017 14:41:29 +0200] rev 66135

SMT news

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

haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66133

do not print unimplemented functions

haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66132

dropped void values

haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66131

more uniform order of constructors

haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66130

more consistent terminology

haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66129

avoid name particle "the" where no selection is implied

haftmann [Tue, 20 Jun 2017 08:01:56 +0200] rev 66128

more uniform ordering and naming of sections; proper local function

isabelle