#369 (Jul 13, 2017, 12:50:10 AM)

1. additional lemmas for State_Monad, courtesy of Andreas Lochbihler (detail / hgweb)
2. more material on finite maps (detail / hgweb)
3. redundant since c6714a9562ae (detail / hgweb)
4. store the unfolded definitions of the lifted bnf constants under "_def" name (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 18 min total from scheduled to completion.