#1371 (Jan 29, 2018, 8:53:13 PM)

1. removed superflous imports of theory Code_Char (detail / hgweb)
2. proper argument: nb. op is specical token in SML (detail / hgweb)
3. take warnings about unused parameters more seriously (detail / hgweb)
4. avoid concrete (anti)mono in theorem names since it could be the other way round (detail / hgweb)

Started by an SCM change

This run spent:

• 9.4 sec waiting;
• 1 hr 45 min build duration;
• 1 hr 45 min total from scheduled to completion.