isabelle: Changelog

wenzelm [Tue, 03 Apr 2012 09:41:16 +0200] rev 47283

tuned;

wenzelm [Mon, 02 Apr 2012 23:55:25 +0200] rev 47282

more general standard_declaration; generic const declaration, which is applied to nested targets (named target only);

wenzelm [Mon, 02 Apr 2012 23:27:24 +0200] rev 47281

better restore after close_target;

wenzelm [Mon, 02 Apr 2012 21:52:03 +0200] rev 47280

tuned;

wenzelm [Mon, 02 Apr 2012 21:49:27 +0200] rev 47279

clarified standard_declaration vs. theory_declaration;

wenzelm [Mon, 02 Apr 2012 20:50:41 +0200] rev 47278

smarter generic_const: plain alias for non-dependent case (e.g. prospective datatype or record syntax);

wenzelm [Mon, 02 Apr 2012 20:12:17 +0200] rev 47277

tuned;

wenzelm [Mon, 02 Apr 2012 19:54:25 +0200] rev 47276

tuned;

wenzelm [Mon, 02 Apr 2012 19:47:21 +0200] rev 47275

tuned signature;

wenzelm [Mon, 02 Apr 2012 19:10:52 +0200] rev 47274

misc tuning and simplification;

isabelle