#694 (Jul 21, 2018, 12:50:08 AM)

1. don't lose facts that were introduced to deal with a theory or some preprocessing in the prover (e.g. the definition of 'abs' in an SMT proof) (detail / hgweb)
2. add lemmas about prod_filter (detail / hgweb)
3. merged (detail / hgweb)
4. corrections to markup (detail / hgweb)
5. updated material concerning Algebra (detail / hgweb)
6. merged (detail / hgweb)
7. de-applying (detail / hgweb)
8. added system option "strict_facts"; (detail / hgweb)

Started by an SCM change

This run spent:

• 7 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 15 min total from scheduled to completion.