Consistency of Transreal Arithmetic

A machine proof of the consistency of transreal arithmetic has been released. The source code is in Isabelle/HOL and will be useful only to mathematicians familiar with that machine-proof system. Further information is available in an accompanying paper.