#1660 (Jun 9, 2018, 11:35:12 AM)

1. cleanup and additional lemmas from the seL4 proofs
   
   Includes Word_Type_Syntax to show word lenghts in scast/ucast. (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 1 hr 26 min build duration;
• 1 hr 26 min total from scheduled to completion.