Smooth projective translation planes

A projective plane is called smooth if both the point space and the line space are smooth manifolds such that the geometric operations are smooth. We prove that every smooth projective translation plane is isomorphic to one of the classical planes over , , or.Dedicated to Professor Dr. H. Salzmann on the occasion of his 65th birthday