#1205 (Nov 10, 2017, 6:00:28 AM)

1. added lemmas to Stone_Kleene_Relation_Algebras (detail / hgweb)
2. added definitions and lemmas to Stone_Relation_Algebras (detail / hgweb)

Started by an SCM change

This run spent:

• 8.4 sec waiting;
• 4 min 0 sec build duration;
• 4 min 8 sec total from scheduled to completion.