| Thu, 26 May 2016 15:27:50 +0200 | haftmann | clarified internal interfaces | changeset | files |
| Thu, 26 May 2016 15:27:50 +0200 | haftmann | tuned | changeset | files |
| 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 |
| Thu, 26 May 2016 15:27:50 +0200 | haftmann | explicit quasi-global context for nbe conversions -- works around quasi-global type variable handling in lift_triv_classes_conv | changeset | files |
| Thu, 26 May 2016 15:27:50 +0200 | haftmann | clarified naming conventions and code for code evaluation sandwiches | changeset | files |
| Thu, 26 May 2016 15:27:50 +0200 | haftmann | clarified names of variants | changeset | files |