#341 (Aug 2, 2016, 7:15:05 PM)

1. merged (detail / hgweb)
2. tuned; (detail / hgweb)
3. tuned signature -- prover-independence is presently theoretical; (detail / hgweb)
4. tuned; (detail / hgweb)
5. avoid confusion with 'case' and "cases"; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified: 'imports' is de-facto mandatory; (detail / hgweb)
8. support 'abbrevs' within theory header;
   simplified 'keywords': no abbreviations here; (detail / hgweb)
9. tuned; (detail / hgweb)

Started by an SCM change