#1307 (Jan 11, 2018, 12:18:21 PM)

1. merged (detail / hgweb)
2. Makefile is no longer needed ("isabelle afp_build HLDE" generates binary "generated/hlde" as specified in Solve_Code.thy by Florian Haftmann (detail / hgweb)
3. tuned proofs (detail / hgweb)
4. updated op's (detail / hgweb)
5. adapted to reverted <= syntax (detail / hgweb)
6. merged (detail / hgweb)
7. updated op syntax (detail / hgweb)
8. dropped more lemmas that are now already part of Main (detail / hgweb)
9. merged (detail / hgweb)
10. reuse lemmas that are now in Main (detail / hgweb)
11. merged (detail / hgweb)
12. updated to backed out infixes in Set & Ordereings (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 9 min 17 sec build duration;
• 9 min 25 sec total from scheduled to completion.