isabelle: Changelog

wenzelm [Tue, 05 Mar 2019 19:33:40 +0100] rev 69868

recover original order;

wenzelm [Tue, 05 Mar 2019 18:44:02 +0100] rev 69867

tuned;

wenzelm [Tue, 05 Mar 2019 16:40:12 +0100] rev 69866

misc tuning and modernization;

wenzelm [Tue, 05 Mar 2019 14:45:27 +0100] rev 69865

merged

wenzelm [Tue, 05 Mar 2019 13:31:33 +0100] rev 69864

clarified signature;

wenzelm [Tue, 05 Mar 2019 13:11:01 +0100] rev 69863

clarified signature: more general types;

wenzelm [Tue, 05 Mar 2019 11:52:20 +0100] rev 69862

afford redundant whitespace for improved readability;

haftmann [Tue, 05 Mar 2019 07:00:21 +0000] rev 69861

avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default

wenzelm [Sun, 03 Mar 2019 20:27:42 +0100] rev 69860

tuned signature;

wenzelm [Sun, 03 Mar 2019 20:13:25 +0100] rev 69859

clarified signature -- allow more re-use;

isabelle