2011-12-30 | wenzelm | simplified proof; | changeset | files |
2011-12-30 | wenzelm | more parallelism; | changeset | files |
2011-12-30 | wenzelm | tuned; | changeset | files |
2011-12-29 | wenzelm | merged | changeset | files |
2011-12-29 | wenzelm | tuned -- afford slightly larger simpset in simp_defs_tac; | changeset | files |
2011-12-29 | wenzelm | tuned -- standard proofs by default; | changeset | files |
2011-12-29 | wenzelm | do not fork skipped proofs; | changeset | files |
Loading... |