isabelle: Changelog

wenzelm [Thu, 16 May 2013 20:50:01 +0200] rev 52041

some system options as context-sensitive config options;

wenzelm [Thu, 16 May 2013 20:33:01 +0200] rev 52040

system options as context-sensitive configuration options within the attribute name space;

wenzelm [Thu, 16 May 2013 19:41:41 +0200] rev 52039

tuned signature;

blanchet [Thu, 16 May 2013 21:55:12 +0200] rev 52038

properly handle SPASS constructors w.r.t. partially applied functions

wenzelm [Thu, 16 May 2013 17:39:38 +0200] rev 52037

tuned signature -- depend on context by default;

kuncar [Thu, 16 May 2013 15:21:12 +0200] rev 52036

reflexivity rules for the function type and equality

blanchet [Thu, 16 May 2013 15:03:28 +0200] rev 52035

tuned comments

blanchet [Thu, 16 May 2013 14:58:30 +0200] rev 52034

correctly 'repair' the monomorphization context for SMT solvers from Sledgehammer

blanchet [Thu, 16 May 2013 14:27:43 +0200] rev 52033

tuning

blanchet [Thu, 16 May 2013 14:15:22 +0200] rev 52032

more work on SPASS datatypes

isabelle