Is the 133 theme pack already installed?

Hey there~
I was just about to put the 133 theme pack on my site but it looks like it's already there (in Super admin)....they are just inactive. Is this correct?