ORTHOFRAME

A symbolic algebra package is presented for performing calculations in the orthonormal tetrad formalism of Ellis and MacCallum. The use of the package is illustrated by giving details of a proof which arises in connection with the `postulate of uniformal thermal histories’.