In 1961 Smale established the generalized Poincare Conjecture in dimensions greater than or equal to 5 129] and proceeded to prove the h-cobordism theorem 130]. This result inaugurated a major effort to classify all possible smooth and topological structures on manifolds of dimension at least 5. By the mid 1970's the main outlines of this theory were complete, and explicit answers (especially concerning simply connected manifolds) as well as general...