isabelle: Changelog

wenzelm [Mon, 18 Apr 2016 14:26:21 +0200] rev 63009

tuned;

wenzelm [Mon, 18 Apr 2016 11:02:07 +0200] rev 63008

avoid clash with function called "x";

paulson <lp15@cam.ac.uk> [Mon, 18 Apr 2016 14:30:32 +0100] rev 63007

new theorems about convex hulls, etc.; also, renamed some theorems

wenzelm [Sun, 17 Apr 2016 22:38:50 +0200] rev 63006

clarified bindings;

wenzelm [Sun, 17 Apr 2016 22:10:09 +0200] rev 63005

clarified bindings;

wenzelm [Sun, 17 Apr 2016 20:54:17 +0200] rev 63004

prefer binding over base name;

wenzelm [Sun, 17 Apr 2016 20:11:02 +0200] rev 63003

clarified signature;

wenzelm [Sun, 17 Apr 2016 16:36:47 +0200] rev 63002

removed pointless check (see Type_Infer.object_logic);

wenzelm [Sun, 17 Apr 2016 16:28:35 +0200] rev 63001

prefer precise names for internal construction;

Lars Hupel <lars.hupel@mytum.de> [Sun, 17 Apr 2016 16:02:44 +0200] rev 63000

remove "slow" session tags

isabelle