| 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 |