adl/hoaf — pull request #1 by xblahoud (2014-01-22 11:04:39+00:00)
Title: Patch 1

* some typos corrected
* description of `ltl2dstar`'s implicit label encoding added
* bugs in automata examples corrected
* acceptance condition in the examples of Rabin automata changed to correspond to usual Rabin - `(F0 | I1)` (which was also correct in both cases) changed to `(F0 & I1)`