isabelle: Changelog

wenzelm [Wed, 29 Feb 2012 23:09:06 +0100] rev 46737

clarified module Thy_Load; more precise graph based on Document.Node.Deps with actual Node.Name dependencies;

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;

isabelle