| Wed, 27 Mar 2013 21:13:02 +0100 | wenzelm | merged | changeset | files |
| Wed, 27 Mar 2013 21:07:10 +0100 | wenzelm | separate isatest with skip_proofs, to give some impression of performance without most of the proofs; | changeset | files |
| Wed, 27 Mar 2013 21:12:49 +0100 | wenzelm | merged | changeset | files |
| Wed, 27 Mar 2013 20:57:05 +0100 | wenzelm | extra checkpoint to avoid stale theory in skip_proof context, e.g. in 'instance' proof; | changeset | files |