Hi David,
Yes our themes pack the revolution slider plugin before but now our themes no longer pack the revolution slider plugin inside the theme because of WordPress.org policy which have non GPL code. Also It is quite difficult for us to provide the support as well as it’s difficult for the customers to auto update the new version. So we removed it from the next version.
For the current version of Revolution Slider Plugin contact our sales team via Email.
Thank you!