isabelle: Changelog

krauss [Fri, 22 Oct 2010 23:45:20 +0200] rev 40076

some cleanup in Function_Lib

blanchet [Fri, 22 Oct 2010 17:15:46 +0200] rev 40075

merged

blanchet [Fri, 22 Oct 2010 16:45:55 +0200] rev 40074

compile

blanchet [Fri, 22 Oct 2010 16:37:11 +0200] rev 40073

added SMT solver to Sledgehammer docs

blanchet [Fri, 22 Oct 2010 16:11:43 +0200] rev 40072

more robust handling of "remote_" vs. non-"remote_" provers

blanchet [Fri, 22 Oct 2010 15:02:27 +0200] rev 40071

generalized the relevance filter so that it takes the list of "irrelevant constants" as argument (since the ATP and SMT preprocessing are different)

blanchet [Fri, 22 Oct 2010 14:47:43 +0200] rev 40070

replaced references with proper record that's threaded through

blanchet [Fri, 22 Oct 2010 14:10:32 +0200] rev 40069

fixed signature of "is_smt_solver_installed"; renaming

blanchet [Fri, 22 Oct 2010 13:57:54 +0200] rev 40068

renamed modules

blanchet [Fri, 22 Oct 2010 13:54:51 +0200] rev 40067

renamed files

isabelle