Software library of Eiffel classes modeled upon set theory
Software library of Eiffel classes modeled upon set theory. Release 0.30.