Ok, found this very helpful detailed description:
http://wordpress.org/support/topic/289132?replies=17
and can now get into my site to re-install. I’m still surprised that the uploading of the old functions.php file didn’t solve the problem in the first place–it must have borked something it called to? but in any case it’s resolved.
