isabelle: Changelog

nipkow [Sun, 24 Oct 2010 20:37:30 +0200] rev 40078

renamed nat_number

nipkow [Sun, 24 Oct 2010 20:19:00 +0200] rev 40077

nat_number -> eval_nat_numeral

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

isabelle