Email Record: Mechanical geometry theorem proving /