isabelle: Changelog

nipkow [Wed, 09 Aug 2017 12:01:16 +0200] rev 66386

added lemmas

paulson [Tue, 08 Aug 2017 23:55:03 +0200] rev 66385

merged

paulson <lp15@cam.ac.uk> [Tue, 08 Aug 2017 23:54:49 +0200] rev 66384

more cleanup of fundamental_theorem_of_calculus_interior

paulson <lp15@cam.ac.uk> [Tue, 08 Aug 2017 13:56:29 +0200] rev 66383

partly unravelled fundamental_theorem_of_calculus_interior

paulson <lp15@cam.ac.uk> [Tue, 08 Aug 2017 12:37:01 +0200] rev 66382

more unknotting

wenzelm [Tue, 08 Aug 2017 22:40:05 +0200] rev 66381

merged

wenzelm [Tue, 08 Aug 2017 22:33:21 +0200] rev 66380

misc tuning and modernization;

wenzelm [Tue, 08 Aug 2017 22:13:05 +0200] rev 66379

maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);

wenzelm [Tue, 08 Aug 2017 12:21:29 +0200] rev 66378

clarified signature;

wenzelm [Tue, 08 Aug 2017 11:49:35 +0200] rev 66377

tuned;

isabelle