isabelle: Changelog

wenzelm [Sat, 09 Mar 2019 10:31:20 +0100] rev 69882

tuned;

paulson [Sun, 10 Mar 2019 00:22:38 +0000] rev 69881

merged

paulson <lp15@cam.ac.uk> [Sun, 10 Mar 2019 00:09:45 +0000] rev 69880

tidied up HOL/ex/Primrec

haftmann [Fri, 08 Mar 2019 18:56:48 +0000] rev 69879

proper code_simp setup for literals

wenzelm [Fri, 08 Mar 2019 21:18:58 +0100] rev 69878

tuned -- more explicit type node_presentation;

wenzelm [Fri, 08 Mar 2019 19:22:28 +0100] rev 69877

tuned signature;

wenzelm [Fri, 08 Mar 2019 17:05:23 +0100] rev 69876

clarified modules; uniform "tag" parser;

paulson <lp15@cam.ac.uk> [Thu, 07 Mar 2019 16:59:12 +0000] rev 69875

renamed the constant "limit" as it is too "generic"

paulson <lp15@cam.ac.uk> [Thu, 07 Mar 2019 14:08:05 +0000] rev 69874

new material for Analysis

wenzelm [Wed, 06 Mar 2019 21:44:30 +0100] rev 69873

proper option (amending cc0b3e177b49);

isabelle