#853 (Jan 25, 2019, 12:50:09 AM)

1. merged (detail / hgweb)
2. the theory of Equipollence, and moving Fpow from Cardinals into Main (detail / hgweb)
3. proper treatment of x86_64_32; (detail / hgweb)
4. more appropriate section (detail / hgweb)
5. combinator to lift local theory update to theory update (detail / hgweb)
6. merged (detail / hgweb)
7. tagged 5 theories (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 1 hr 23 min build duration;
• 1 hr 23 min total from scheduled to completion.