Changes between Version 11 and Version 12 of FixityResolution


Ignore:
Timestamp:
Jul 31, 2009 1:27:00 PM (6 years ago)
Author:
simonmar@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FixityResolution

    v11 v12  
    190190Make the corresponding changes as for Section 3.
    191191
    192 === Section 9.6, Resolving expressions with infix operators ===
     192=== Section 9.6, Resolving expressions involving infix operators ===
    193193
    194194'''New sub-section'''