-
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
a) formatting b) index entries c) cross references (to 'chapter' not 'section' now the Report is a book) All due to Ross Paterson