#159 (Jul 21, 2018, 6:29:07 PM)

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

1. Completeness proof for open formulas. Proofs in declarative style. Enumerations using Countable theory. (Contributed by Andreas Halkjær From with cosmetic changes by Stefan Berghofer) (detail)
2. Proof of Andrew’s Challenge, a bit of tidying and updated metadata. (detail)
3. corrected reference to metadata file (detail)

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 4 min 47 sec build duration;
• 6 min 51 sec total from scheduled to completion.