#1636 (May 28, 2018, 8:02:10 PM)

1. Merged (detail / hgweb)
2. Fixed incorrect session information & document error (detail / hgweb)
3. Removed dependency on HOL-Library.RBT_Mapping; removed workaround (detail / hgweb)
4. Use instances from Show (detail / hgweb)
5. Merged (detail / hgweb)
6. Fixed Hidden_Markov_Models (detail / hgweb)
7. Fixed Monad_Memo_DP (detail / hgweb)
8. Fixed PTA & removed obsolete lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 8 min 41 sec build duration;
• 8 min 48 sec total from scheduled to completion.