isabelle: Changelog

bulwahn [Wed, 01 Feb 2012 15:28:02 +0100] rev 46394

improving code equations for multisets that violated the distinct AList abstraction

blanchet [Thu, 02 Feb 2012 01:55:17 +0100] rev 46393

tuning

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)

isabelle