First feedback on MINUS

After some chatting with colleagues:

1) Whatever semantics we choose, the operator should not be called
MINUS, as its semantics is not even roughly clear intuitively.

2) A restriction to min. 1 shared variable is not intuitive.

Cheers,
Simon

-- 
Simon Schenk | ISWeb | Uni Koblenz
http://isweb.uni-koblenz.de
http://www.uni-koblenz.de/~sschenk
Five sentences policy: http://five.sentenc.es/