| Wed, 12 Oct 2011 22:21:38 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 12 Oct 2011 21:39:33 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| 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 |