isabelle: Changelog

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

nipkow [Thu, 24 Aug 2017 21:56:26 +0200] rev 66499

tuned

paulson <lp15@cam.ac.uk> [Thu, 24 Aug 2017 12:45:46 +0100] rev 66498

Merge (non-trivial)

paulson <lp15@cam.ac.uk> [Wed, 23 Aug 2017 23:46:35 +0100] rev 66497

More tidying, and renaming of theorems

paulson [Wed, 23 Aug 2017 19:54:30 +0100] rev 66496

merged

paulson <lp15@cam.ac.uk> [Wed, 23 Aug 2017 19:54:11 +0100] rev 66495

More tidying up of monotone_convergence_interval

blanchet [Thu, 24 Aug 2017 10:47:56 +0200] rev 66494

tuning (proofs and code)

blanchet [Thu, 24 Aug 2017 10:47:56 +0200] rev 66493

upgraded CVC4 component to fix abnormal termination reported by Larry Paulson

haftmann [Wed, 23 Aug 2017 22:05:53 +0200] rev 66492

dedicated local for "operative" avoids namespace pollution

isabelle