isabelle: Changelog

wenzelm [Sat, 18 Aug 2018 13:52:12 +0200] rev 68761

trim nodes_status: avoid potential memory leak;

wenzelm [Sat, 18 Aug 2018 13:40:23 +0200] rev 68760

simplified (cf. dcd69422b953);

wenzelm [Sat, 18 Aug 2018 13:33:40 +0200] rev 68759

clarified modules;

wenzelm [Sat, 18 Aug 2018 12:41:05 +0200] rev 68758

clarified modules;

Lars Hupel <lars.hupel@mytum.de> [Fri, 17 Aug 2018 21:34:56 +0200] rev 68757

Finite_Map: monotonicity

Lars Hupel <lars.hupel@mytum.de> [Fri, 17 Aug 2018 21:34:12 +0200] rev 68756

State_Monad: more simp lemmas

wenzelm [Fri, 17 Aug 2018 20:44:45 +0200] rev 68755

enforce ML_system_64: more robust as cold build, without command_timings;

wenzelm [Fri, 17 Aug 2018 20:44:00 +0200] rev 68754

clarified signature;

wenzelm [Wed, 15 Aug 2018 16:15:23 +0200] rev 68753

removed obsolete RC tags;

nipkow [Wed, 11 Jul 2018 09:43:48 +0200] rev 68752

(re)moved lemmas

isabelle