-
Hans-Peter Deifel authored
We previously did not distinguish actions properly by using the powerset functor for action transitions. By using P(AxX) where A is the set of possible actions, we correctly distinguish different action states that behave the same.
caba941c