[LOGIC-3] nonrel/lvar -> nonrel/lvaro, nonrel/nonlvar -> nonrel/nonlvaro Created: 19/May/11 Updated: 28/Jul/13 Resolved: 21/May/11
|Reporter:||David Nolen||Assignee:||David Nolen|
They are relations and should probably follow the naming convention for goals. This also avoids confusing newcomers when trying to to use the nonrel namespace.
|Comment by David Nolen [ 21/May/11 1:02 PM ]|