#1572 (Oct 13, 2021, 12:50:07 AM)

1. support HOL-Isar_Examples.Hoare as well (amending 403ce50e6a2a); (detail / hgweb)
2. removed junk; (detail / hgweb)
3. merged (detail / hgweb)
4. separated commands from annotations to be able to abstract about the latter only (detail / hgweb)
5. prefer standard Term.dest_abs, with minor deviation of generated names; (detail / hgweb)
6. tuned comments; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.8 sec waiting;
• 2 hr 5 min build duration;
• 2 hr 5 min total from scheduled to completion.