FenixEdu/bennu — pull request #160 by Luis-Cruz (2014-08-29 14:18:42+00:00)
Title: Fixed IntersectionGroup always resolving to NobodyGroup

Resolve intersection of groups with AnyoneGroup as the initial condition, as long as the list of groups is empty. Previously any intersection would always resolve to NobodyGroup. Closes #159