#1356 (Jan 23, 2018, 4:35:10 PM)

1. move lemmas from More_Set_Partition into Set_Partition (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 1 hr 12 min build duration;
• 1 hr 12 min total from scheduled to completion.