How do I program Arduino Pro Mini 16mhz with Arduino -0012?

Development Boards MicroMod
2

This is a 5V Arduino running the 16MHz bootloader (select ‘Arduino Diecimila’ within the Arduino software).

The boards menu is populated from hardware\boards.txt.

The board speed is set there (f_cpu).