* 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.)