#492 (Oct 20, 2016, 11:14:09 AM)

1. Source_Coding_Theorem: adapted to development version of Isabelle (detail / hgweb)

Started by an SCM change

This run spent:

• 6.5 sec waiting;
• 3 min 5 sec build duration;
• 3 min 11 sec total from scheduled to completion.