isabelle: Changelog

paulson <lp15@cam.ac.uk> [Fri, 25 Aug 2017 23:30:36 +0100] rev 66512

starting to unscramble bounded_variation_absolutely_integrable_interval

nipkow [Sat, 26 Aug 2017 09:10:42 +0200] rev 66511

tuned proofs

nipkow [Fri, 25 Aug 2017 23:09:56 +0200] rev 66510

reorganization of tree lemmas; new lemmas

paulson [Fri, 25 Aug 2017 13:01:13 +0100] rev 66509

merged

paulson <lp15@cam.ac.uk> [Fri, 25 Aug 2017 13:01:01 +0100] rev 66508

unscrambling of integrable_alt

paulson <lp15@cam.ac.uk> [Fri, 25 Aug 2017 11:10:03 +0100] rev 66507

renamed s to S to work with previous change

paulson [Thu, 24 Aug 2017 23:04:47 +0100] rev 66506

merged

paulson <lp15@cam.ac.uk> [Thu, 24 Aug 2017 23:04:33 +0100] rev 66505

work on integrable_alt, etc.

paulson <lp15@cam.ac.uk> [Thu, 24 Aug 2017 21:41:13 +0100] rev 66504

tidying up has_integral'

paulson <lp15@cam.ac.uk> [Thu, 24 Aug 2017 17:15:53 +0100] rev 66503

more elimination of "guess", etc.

isabelle