• Simon Peyton Jones's avatar
    Minor changes to · d24e004d
    Simon Peyton Jones authored
      a) formatting
      b) index entries
      c) cross references (to 'chapter' not 'section' now the
         Report is a book)
    
    All due to Ross Paterson
    d24e004d
exps.verb 57.9 KB