isabelle: Changelog

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

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

tuned internal signature

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

more explicit constructor name

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

tuned whitespace

isabelle