Executive orders. Executive order, amendment of Executive order 6247 of Aug. 10, 1933 [relating to preparation, form, style, and safeguarding of Executive orders and Proclamations].