I'd say keep it the same for Star Wars, since there is noticeable difference between all the versions included on there. The other two can just be the stereo, 5.1, and 1993 mixes.
Since they likely weren't '85-remixed, it's probably safe to call them the theatrical mixes from 1980 and 1983.