Build Artifacts
Changes
Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
ZFC_in_HOL Change history
(detail ) merged
(detail ) Generalisation of order types to arbitrary sets; ordinal exponentiation
(detail ) merged
(detail ) Generalisation of the "small" predicate to arbitrary sets; Introduction of the coercion ord_of_nat :: "nat => V"; Addition of many new lemmas.
(detail ) Started by an SCM change
This run spent:
2 min 1 sec waiting; 6 min 40 sec build duration; 8 min 42 sec total from scheduled to completion. Revision : 5385de42f9f4e364549a406cef25957cb2188085
Revision : d02b36b8603996f5013426008fbbe66f84186c37
Failed entries: