isabelle: Changelog

boehmes [Wed, 29 Feb 2012 17:43:41 +0100] rev 46736

SMT fails if the chosen SMT solver is not installed

wenzelm [Tue, 28 Feb 2012 21:58:59 +0100] rev 46735

merged

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.

isabelle