Distributions maintained by ARNSHOLT