#508 (Oct 30, 2016, 5:11:09 PM)

1. remove types to sets since it is a part of HOL/Library (cf. Isabelle/ae53f4d901a3) (detail / hgweb)

Started by an SCM change

This run spent:

• 6.8 sec waiting;
• 26 min build duration;
• 26 min total from scheduled to completion.