Changes between Version 1 and Version 2 of NegationBindsTightly


Ignore:
Timestamp:
Feb 24, 2010 1:21:38 PM (4 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] ||