STM32 Nucleo: where can I found "PinNames.h" "PeripheralNames.h"

Hello guys, in mbes os I’m not able to find these files:

PinNames.h and PeripheralNames.h

as described in page:
https://os.mbed.com/teams/ST/wiki/Use-of-D0D1-Arduino-pins

could you help me please? thanks a lot!
Bye,
Lorenzo

Hello,

PinNames.h is only for specific board.
PeripheralNames.h is shared for whole F4 family

BR, Jan