| Mon, 16 Sep 2013 19:27:20 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 16 Sep 2013 17:42:05 +0200 | wenzelm | more antiquotations -- avoid unchecked string literals; | changeset | files |
| Mon, 16 Sep 2013 17:18:56 +0200 | wenzelm | more explicit exception pattern (NB: unqualified exceptions without arguments are in danger of becoming catch-all patterns by accident); | changeset | files |
| Mon, 16 Sep 2013 17:13:38 +0200 | wenzelm | distinguish Proof.context vs. local_theory semantically, with corresponding naming conventions; | changeset | files |
| Mon, 16 Sep 2013 17:04:28 +0200 | wenzelm | tuned white space; | changeset | files |
| Mon, 16 Sep 2013 16:50:49 +0200 | wenzelm | adhoc check of ML sources, in addition to thy files already covered in Thy_Load; | changeset | files |