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