War taxes. Synopsis of decisions on questions relating to war-revenue act of Oct. 3, 1917.