#672 (Jun 28, 2018, 12:50:09 AM)

1. clarified settings -- avoid hard-wired directories;
   tuned documentation; (detail / hgweb)
2. example for Types_To_Sets: transfer from type-based linear algebra to subspaces (detail / hgweb)
3. added lemmas and transfer rules (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 15 min total from scheduled to completion.