Use the sample() method of Hoa\Realdom\Disjunction
[auto] Merge from Praspel

    • #68c1f0d — Use the sample() method of Hoa\Realdom\Disjunction (Ivan Enderlin, 2013-06-24)

---

Merge remote branch 'library-praspel/master'