* Errata for The Concept of Set in Constructive Analysis:
** December 7, 2011:
page 15: A fatal typo in the inductive definition of finite sets:
(GenFin) forall f forall n (Fin f^n_false -> Fin f)
replace with:
(GenFin) forall f (forall n (Fin f^n_false) -> Fin f)
(The proof uses the correct definition.)