isabelle: Changelog

wenzelm [Wed, 04 Sep 2019 20:05:57 +0200] rev 70651

tuned messages;

wenzelm [Wed, 04 Sep 2019 11:21:07 +0200] rev 70650

tuned signature;

wenzelm [Tue, 03 Sep 2019 19:20:22 +0200] rev 70649

clarified signature;

wenzelm [Tue, 03 Sep 2019 15:55:27 +0200] rev 70648

tuned important special case;

wenzelm [Tue, 03 Sep 2019 15:24:04 +0200] rev 70647

tuned signature;

wenzelm [Tue, 03 Sep 2019 14:58:29 +0200] rev 70646

more dump_checkpoints;

wenzelm [Tue, 03 Sep 2019 14:56:43 +0200] rev 70645

clarified signature;

wenzelm [Tue, 03 Sep 2019 11:32:29 +0200] rev 70644

clarified state variable: avoid extra mutability via Promise;

paulson <lp15@cam.ac.uk> [Wed, 04 Sep 2019 16:34:45 +0100] rev 70643

Removal of the redundant ancestor Continuous_Extension

paulson <lp15@cam.ac.uk> [Wed, 04 Sep 2019 15:27:04 +0100] rev 70642

Half of Brouwer_Fixpoint split off to form a separate theory: Retracts.

isabelle