isabelle: Changelog

blanchet [Thu, 02 Feb 2012 01:20:28 +0100] rev 46392

implemented partial application aliases (for SPASS mainly)

blanchet [Wed, 01 Feb 2012 17:16:55 +0100] rev 46391

really fixed syntax bug in DFG output (cf. ef62c2fafa9e)

blanchet [Wed, 01 Feb 2012 17:15:06 +0100] rev 46390

don't stumble on SPASS debug output

blanchet [Wed, 01 Feb 2012 14:53:46 +0100] rev 46389

tuning

blanchet [Wed, 01 Feb 2012 12:47:43 +0100] rev 46388

proper statuses for "fact_from_ref"

nipkow [Tue, 31 Jan 2012 19:38:36 +0100] rev 46387

tuned

blanchet [Tue, 31 Jan 2012 18:46:31 +0100] rev 46386

renamed Sledgehammer option

blanchet [Tue, 31 Jan 2012 17:09:08 +0100] rev 46385

third attempt at lambda lifting that works for both Sledgehammer and Metis (cf. dce6c3a460a9)

blanchet [Tue, 31 Jan 2012 16:11:15 +0100] rev 46384

improve SPASS setup

bulwahn [Tue, 31 Jan 2012 15:39:45 +0100] rev 46383

adding code equation for setsum

isabelle