There seem to be quite a few changes to this session, including the renaming of a number of theorems, but no corresponding entry in the NEWS file. Larry