| Wed, 12 Oct 2011 20:57:40 +0200 | wenzelm | tuned ML style; | changeset | files |
| Wed, 12 Oct 2011 20:16:48 +0200 | wenzelm | tuned proofs -- eliminated vacuous "induct arbitrary: ..." situations; | changeset | files |
| Wed, 12 Oct 2011 16:21:07 +0200 | wenzelm | discontinued obsolete alias structure ProofContext; | changeset | files |
| Wed, 12 Oct 2011 09:16:30 +0200 | nipkow | separated monotonicity reasoning and defined narrowing with while_option | changeset | files |
| Mon, 10 Oct 2011 20:14:25 +0200 | wenzelm | include no-smlnj targets into library (cf. e54a985daa61); | changeset | files |
| Mon, 10 Oct 2011 16:47:45 +0200 | bulwahn | increasing values_timeout to avoid SML_makeall failures on our current tests | changeset | files |
| Mon, 10 Oct 2011 11:12:09 +0200 | wenzelm | merged | changeset | files |