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