Got rid of duplicate notation spec files.