| Tue, 24 Aug 2010 20:36:48 +0200 | wenzelm | tuned root markup; | changeset | files |
| Mon, 23 Aug 2010 20:50:00 +0200 | wenzelm | misc tuning of important special cases; | changeset | files |
| Mon, 23 Aug 2010 19:35:57 +0200 | hoelzl | Rewrite the Probability theory. | changeset | files |
| Mon, 23 Aug 2010 17:46:13 +0200 | wenzelm | merged | changeset | files |
| Mon, 23 Aug 2010 15:30:42 +0200 | blanchet | merged | changeset | files |
| Mon, 23 Aug 2010 15:27:50 +0200 | blanchet | use different name for debugging purposes | changeset | files |
| Mon, 23 Aug 2010 14:54:17 +0200 | blanchet | perform eta-expansion of quantifier bodies in Sledgehammer translation when needed + transform elim rules later; | changeset | files |
| Mon, 23 Aug 2010 14:51:56 +0200 | blanchet | "no_atp" fact that leads to unsound Sledgehammer proofs | changeset | files |