| Thu, 26 May 2016 15:27:50 +0200 | haftmann | delegate inclusion of required dictionaries to user-space instead of half-working magic | changeset | files |
| Thu, 26 May 2016 15:27:50 +0200 | haftmann | corrected closure scope of static_conv_thingol; | changeset | files |
| Thu, 26 May 2016 15:27:50 +0200 | haftmann | clarified proof context vs. background theory | changeset | files |