isabelle: Changelog

wenzelm [Wed, 23 Sep 2015 09:36:18 +0200] rev 61258

tuned output;

wenzelm [Wed, 23 Sep 2015 09:30:12 +0200] rev 61257

tuned output;

wenzelm [Tue, 22 Sep 2015 22:42:48 +0200] rev 61256

tuned signature;

wenzelm [Tue, 22 Sep 2015 22:38:22 +0200] rev 61255

eliminated separate type Theory.dep: use typeargs uniformly for consts/types; Object_Logic.add_judgment more like Theory.specify_const;

wenzelm [Tue, 22 Sep 2015 20:29:20 +0200] rev 61254

tuned signature;

wenzelm [Tue, 22 Sep 2015 20:21:53 +0200] rev 61253

tuned output;

wenzelm [Tue, 22 Sep 2015 18:56:25 +0200] rev 61252

separate command 'print_definitions';

wenzelm [Tue, 22 Sep 2015 18:06:49 +0200] rev 61251

tuned;

wenzelm [Tue, 22 Sep 2015 17:15:55 +0200] rev 61250

clarified deps entry: global names for arguments;

wenzelm [Tue, 22 Sep 2015 16:49:56 +0200] rev 61249

renamed Defs.node to Defs.item; clarified type Defs.item; clarified item_ord for printing;

isabelle