isabelle: Changelog

blanchet [Tue, 28 Feb 2012 15:54:51 +0100] rev 46734

speed up Sledgehammer's clasimpset lookup a bit

blanchet [Tue, 28 Feb 2012 15:54:51 +0100] rev 46733

use SPASS instead of E for Metis examples -- it's seems faster for these small problems

blanchet [Tue, 28 Feb 2012 15:54:51 +0100] rev 46732

spelling

wenzelm [Tue, 28 Feb 2012 21:53:36 +0100] rev 46731

avoid undeclared variables in let bindings; tuned proofs;

wenzelm [Tue, 28 Feb 2012 20:20:09 +0100] rev 46730

tuned proofs;

wenzelm [Tue, 28 Feb 2012 17:11:18 +0100] rev 46729

more release tests;

wenzelm [Tue, 28 Feb 2012 16:43:32 +0100] rev 46728

display proof results as "state", to suppress odd squiggles in the Prover IDE (see also 9240be8c8c69);

Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Tue, 28 Feb 2012 14:24:37 +0100] rev 46727

Finish localizing the quotient package.

berghofe [Tue, 28 Feb 2012 11:45:40 +0100] rev 46726

merged

berghofe [Tue, 28 Feb 2012 11:10:09 +0100] rev 46725

Added infrastructure for mapping SPARK field / constructor names to Isabelle types

isabelle