isabelle: Changelog

wenzelm [Wed, 27 Apr 2011 13:21:12 +0200] rev 42484

predefined LaTeX macros for \<bind> and \<then>;

wenzelm [Wed, 27 Apr 2011 10:49:39 +0200] rev 42483

eliminated obsolete Function_Lib.frees_in_term; simplified;

wenzelm [Wed, 27 Apr 2011 10:31:18 +0200] rev 42482

more uniform Variable.add_frees/add_fixed etc.;

wenzelm [Tue, 26 Apr 2011 22:22:39 +0200] rev 42481

structure Cla as defined in FOL;

wenzelm [Tue, 26 Apr 2011 22:18:07 +0200] rev 42480

proper antiquotations;

wenzelm [Tue, 26 Apr 2011 21:55:11 +0200] rev 42479

tuned;

wenzelm [Tue, 26 Apr 2011 21:49:39 +0200] rev 42478

modernized Clasimp setup;

wenzelm [Tue, 26 Apr 2011 21:27:01 +0200] rev 42477

simplified Blast setup;

wenzelm [Tue, 26 Apr 2011 21:05:52 +0200] rev 42476

clarified auxiliary structure Lexicon.Syntax;

wenzelm [Tue, 26 Apr 2011 17:23:21 +0200] rev 42475

simplified/modernized method setup;

isabelle