Om lov om 1. og 17. mai som høgtidsdager, ot. prp. nr. 24, innst. O. nr. 48, O.tid. 198—213, besl. O. nr. 57, L.tid. 67—77, sanksjon O.tid. 250, lov av 26. april 1947, lovheftet side 39.