isabelle: Changelog

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

blanchet [Thu, 16 May 2013 13:34:13 +0200] rev 52031

tuning -- renamed '_from_' to '_of_' in Sledgehammer

blanchet [Thu, 16 May 2013 13:19:27 +0200] rev 52030

compile

blanchet [Thu, 16 May 2013 13:05:52 +0200] rev 52029

don't recognize overloaded constants as constructors for the purpose of removing type arguments

blanchet [Thu, 16 May 2013 13:05:52 +0200] rev 52028

tuning

isabelle