The revolution slider should be installed post theme install. If the documentation says otherwise, it needs updation. Would appreciate if you let me know where exactly you found this information. In fact, once you activate the theme, the theme automatically prompts the user to install revolution slider ( there is no need to manually look for revslider.zip ). Upon clicking install, the revolution slider zip named revslider.zip placed in the folder