I'm not 100% sure, but I believe that the US "Prestige Recordings" box had 13 CDs, with none of the Miles Quintet sides. I think there was a European 16-CD box that included the Miles Quintet tracks.
Thus, the entire 16-CD box is currently available as four boxes - Fearless Leader, Interplay, Side Steps, and Miles Davis - The Great Prestige Quintet.
I had this American 16CD box from 1991 and, as Felser said above, it did NOT have the Miles Davis recordings.:
AMG review and tracklisting: http://www.allmusic....gs-mw0000270877