#1352 (Jan 23, 2018, 8:05:10 AM)

1. consolidate injectivity solver implementations (detail / hgweb)
2. drop lemma included in Isabelle/14d3163588ae (detail / hgweb)

Started by an SCM change

This run spent:

• 6.5 sec waiting;
• 1 hr 40 min build duration;
• 1 hr 40 min total from scheduled to completion.