ando's thesis seems to say in 1.4 (available in the preview on dspace) that he has thm 5.3.5 which "almost" constructs power operations in E-theory, but doesn't finish the job
by the time he wrote the Duke J. paper, he was referencing an E_infty structure due to Hopkins-Miller (which had not yet appeared) ;)
@EricPeterson @TylerLawson I like to go to the library and come out with 6 or 7 books, and take them back to my office. i have like 12 books on hopf algebras in my office, and a bunch on non-associative algebra. i really don't know what i'll ever do with them, but any time i go to the library, this happens
was a weird story. did so, so many computations and the main result of the thesis took something Gunnar showed me and turned it into "hey, this lets you get the result without having to do all the intermediate computations"