isabelle: Changelog

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.

nipkow [Fri, 25 Aug 2017 08:59:54 +0200] rev 66502

Added lemmas

haftmann [Thu, 24 Aug 2017 17:41:49 +0200] rev 66501

swapping of theory dependency yields less pervasive syntax requiring popular symbols \<mu>, \<nu>

haftmann [Thu, 24 Aug 2017 17:24:12 +0200] rev 66500

more correct output syntax declaration

isabelle