| Thu, 01 Dec 2011 14:03:57 +0100 | hoelzl | remove duplicate theorem setsum_real_distribution | changeset | files |
| Thu, 01 Dec 2011 14:29:14 +0100 | wenzelm | clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover; | changeset | files |
| Thu, 01 Dec 2011 13:34:16 +0100 | blanchet | updated Sledgehammer docs with new/renamed options | changeset | files |
| Thu, 01 Dec 2011 13:34:14 +0100 | blanchet | added "minimize" option for more control over automatic minimization | changeset | files |
| Thu, 01 Dec 2011 13:34:13 +0100 | blanchet | renamed "slicing" to "slice" | changeset | files |
| Thu, 01 Dec 2011 13:34:12 +0100 | blanchet | tuning | changeset | files |
| Thu, 01 Dec 2011 13:34:12 +0100 | blanchet | minor example tweak | changeset | files |