Transferred to other genera:
Procopius gentilis Simon, 1909 -- see Carteronius
In synonymy:
Procopius quaerens Lessert, 1946 = Procopius lesserti Strand, 1916 (Haddad & Bosselaers, 2010: 9)
Nomen nudum:
Procopius caesariensis Kauchtschischwili, 1933 [urn:lsid:nmbe.ch:spidersp:054499] -- Mikhailov, 1997c: 164, cf. Bonnet, 1958: 3771 and Mikhailov, 2009: 4 (lapsus, because the name refers to a Byzantine historian of the 6th century, known under the latinized name Procopius Caesariensis)