This repository was archived by the owner on Oct 17, 2020. It is now read-only.
This repository was archived by the owner on Oct 17, 2020. It is now read-only.
Broken references to axioms #8
Description
In the latest development version, 0802dc8, some references to assumed axioms are undefined in the final section.
