Executive orders. Executive order, revocation of Executive order 6497, Dec. 15, 1933 [relating to preparation, form, style, and safeguarding of Executive orders and Proclamations].