| Wed, 11 Aug 2010 17:24:57 +0200 | wenzelm | tuned eval_thms (cf. note etc. in proof.ML); | changeset | files |
| Wed, 11 Aug 2010 15:17:13 +0200 | wenzelm | use Pretty.enum convenience; | changeset | files |
| Wed, 11 Aug 2010 15:00:31 +0200 | wenzelm | tuned whitespace; | changeset | files |