| Thu, 29 Dec 2011 20:32:59 +0100 | wenzelm | merged | changeset | files |
| Thu, 29 Dec 2011 20:31:58 +0100 | wenzelm | tuned -- afford slightly larger simpset in simp_defs_tac; | changeset | files |
| Thu, 29 Dec 2011 20:05:53 +0100 | wenzelm | tuned -- standard proofs by default; | changeset | files |
| Thu, 29 Dec 2011 19:37:24 +0100 | wenzelm | do not fork skipped proofs; | changeset | files |
| Thu, 29 Dec 2011 18:27:17 +0100 | wenzelm | clarified timeit_msg; | changeset | files |
| Thu, 29 Dec 2011 16:58:19 +0100 | wenzelm | tuned; | changeset | files |