mouse Notch1 core

mouse Notch1 core appears in 3 plasmids under 2 names.