#934 (Jun 9, 2017, 6:22:09 PM)

1. Random_BSTs: Tree_Space uses now the trees from HOL-Library (detail / hgweb)
2. hide tree names in Random_BST (detail / hgweb)

Started by an SCM change

This run spent:

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