#1226 (Nov 30, 2017, 5:50:09 PM)

1. merged (detail / hgweb)
2. New lemma L_transition_AC_fresh to simplify proof of FL_valid_iff_valid_L_transform (detail / hgweb)

Started by an SCM change

This run spent:

• 7.4 sec waiting;
• 57 min build duration;
• 57 min total from scheduled to completion.