Closed AlasdairGray closed 9 years ago
Issue #33 is now resolved. Disjuncts with brackets now accepted.
Issue #33 is now resolved. Disjuncts with brackets now accepted.