DEVTBL displays the names of the defined A-Shell devices. This is essentially just a list of the DEVICE= statements from miame.ini.

You can use the PPN command on any of the defined devices to display the available PPNs on that device.