#1728 (Jul 6, 2022, 2:46:06 AM)

1. added lemmas total_on_trancl and totalp_on_tranclp (detail / hgweb)
2. Move code lemmas for symbolic computation of bit operations on int to distribution. (detail / hgweb)
3. fixed diverging simproc cont_intro (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 56 min waiting;
• 1 hr 47 min build duration;
• 3 hr 43 min total from scheduled to completion.