Local properties of Colombeau generalized functions

Generalized functions as mappings defined on the set of generalized points are considered. Local properties of generalized functions, singular support and various types of G(infinity)-regularity are analyzed. Suppleness and non-flabbyness are proved. Necessary and sufficient conditions on generalized functions extendable out of an open set, are given. Colombeau microfunctions are introduced.