| Sun, 24 Oct 2010 20:37:30 +0200 | nipkow | renamed nat_number | changeset | files |
| Sun, 24 Oct 2010 20:19:00 +0200 | nipkow | nat_number -> eval_nat_numeral | changeset | files |
| Fri, 22 Oct 2010 23:45:20 +0200 | krauss | some cleanup in Function_Lib | changeset | files |
| Fri, 22 Oct 2010 17:15:46 +0200 | blanchet | merged | changeset | files |
| Fri, 22 Oct 2010 16:45:55 +0200 | blanchet | compile | changeset | files |
| Fri, 22 Oct 2010 16:37:11 +0200 | blanchet | added SMT solver to Sledgehammer docs | changeset | files |
| Fri, 22 Oct 2010 16:11:43 +0200 | blanchet | more robust handling of "remote_" vs. non-"remote_" provers | changeset | files |
| Fri, 22 Oct 2010 15:02:27 +0200 | blanchet | generalized the relevance filter so that it takes the list of "irrelevant constants" as argument (since the ATP and SMT preprocessing are different) | changeset | files |