mv IRealdom\Countable IRealdom\Finite.
[auto] Merge from Realdom

    • #4df3319 — mv IRealdom\Countable IRealdom\Finite. (Ivan Enderlin, 2013-01-04)

---

Merge remote branch 'library-realdom/master'