#282 (Mar 15, 2017, 1:24:09 AM)

1. recovered typedef with set bcontfun (amending d23eded35a33) (detail / hgweb)
2. modernized construction of type bcontfun; base explicit theorems on Uniform_Limit.thy; added some lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 34 min waiting;
• 1 hr 10 min build duration;
• 1 hr 44 min total from scheduled to completion.