#735 (Sep 14, 2018, 12:50:08 AM)

1. more robust: avoid race condition wrt. cleanup of ML process, e.g. relevant for "$ISABELLE_TMP/rat.ML" in theory Codegen.Further; (detail / hgweb)
2. removed redundant lemma (detail / hgweb)
3. merged (detail / hgweb)
4. more simp lemmas (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. tuned message; (detail / hgweb)
7. prefer explicit (detail / hgweb)
8. merged (detail / hgweb)
9. typo (detail / hgweb)

Started by an SCM change

This run spent:

• 6.6 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.