isabelle: Changelog

blanchet [Tue, 31 Jan 2012 15:13:18 +0100] rev 46382

avoid name clash, really

blanchet [Tue, 31 Jan 2012 15:10:03 +0100] rev 46381

fixed syntax bug in DFG output

blanchet [Tue, 31 Jan 2012 14:39:21 +0100] rev 46380

new SPASS setup

blanchet [Tue, 31 Jan 2012 12:43:48 +0100] rev 46379

distinguish between ":lr" and ":lt" (terminating) in DFG format

blanchet [Tue, 31 Jan 2012 10:29:05 +0100] rev 46378

nicer keyword class avoidance scheme

blanchet [Tue, 31 Jan 2012 10:29:04 +0100] rev 46377

new try at lambda-lifting that works correctly for both Metis and Sledgehammer (cf. d724066ff3d0)

bulwahn [Tue, 31 Jan 2012 09:06:27 +0100] rev 46376

mutabelle must handle the case where quickcheck returns multiple results

blanchet [Tue, 31 Jan 2012 08:52:47 +0100] rev 46375

reverted e2b1a86d59fc -- broke Metis's lambda-lifting

nipkow [Tue, 31 Jan 2012 07:11:20 +0100] rev 46374

merged

nipkow [Tue, 31 Jan 2012 07:11:04 +0100] rev 46373

NEWS

isabelle