Changes between Version 1 and Version 2 of NegationBindsTightly


Ignore:
Timestamp:
Feb 24, 2010 1:21:38 PM (6 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NegationBindsTightly

    v1 v2  
    11= Proposal: !NegationBindsTightly =
    22
    3 || Ticket       || #999 ||
     3|| Ticket       || #135 ||
    44|| Dependencies || names of other proposals on which this one depends ||
    55|| Related      || [wiki:NegativeSyntax] ||