Updated 6.02 files