  New proofs of the Hadwiger theorem for smooth and for continuous valuations
on convex functions are obtained, and the Klain-Schneider theorem on convex
functions is established. In addition, an extension theorem for valuations
defined on functions with lower dimensional domains is proved, and its
connection to the Abel transform is explained.
