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)
ltl2dstar
's implicit label encoding added(F0 | I1)
(which was also correct in both cases) changed to(F0 & I1)