The Theorema home page has been already moved.
http://www.theorema.org