#663 (Jun 19, 2018, 1:41:48 AM)

1. De-applied Ideal.thy (detail / hgweb)
2. material on finite sets and maps (detail / hgweb)
3. simplify parametricity proofs (detail / hgweb)
4. merged (detail / hgweb)
5. added simp rules (detail / hgweb)

Started by an SCM change

This run spent:

• 51 min waiting;
• 1 hr 27 min build duration;
• 2 hr 19 min total from scheduled to completion.