  A recent anomaly computation of Horava and Witten is proved and generalized
in the form of two index theorems in odd dimensions. Theorem A is a fixed point
formula for orientation-reversing involutions. Theorem B is an index theorem
for manifolds with boundary using local boundary conditions. Both hold for
families of operators.
