"Using Label/Track Name" to import the names you gave them as file names.
3. Click on "Export". The files are created and stored in the selected directory.
Exporting as an MP3 file
If you wish to export your recordings as MP3 files you will need a separately
available MP3 encoder. Audacity uses the freely available LAME MP3 library. You
will find details on how to download the file and how to install it on the Internet
Burning WAV files to a CD / Copying MP3 files to your player
You will find details on burning an audio CD and copying files to an MP3 player in
the instructions accompanying your burn programme or your MP3 player.