Tasavallan presidentin asetus Itävallan, Belgian, Tanskan, Suomen, Saksan, Kreikan, Irlannin, Italian, Luxemburgin, Alankomaiden, Portugalin, Espanjan, Ruotsin, Euroopan atomienergiayhteisön ja Kansainvälisen atomienergiajärjestön välisen ydinaseiden leviämisen estämistä koskevan sopimuksen III artiklan 1 ja 4 kohdan täytäntöönpanemiseksi tehtyyn sopimukseen liittyvän lisäpöytäkirjan voimaansaattamisesta ja lisäpöytäkirjan lainsäädännön alaan kuuluvien määräysten voimaansaattamisesta annetun lain voimaantulosta