  This article reviews, from a global point of view, rigorous results on time
independent spacetimes. Throughout attention is confined to isolated bodies at
rest or in uniform rotation in an otherwise empty universe. The discussion
starts from first principles and is, as much as possible, self-contained.
