Fabio_automatico:
Di solito quando lavoro con librerie di terzi trovo sempre un file Htlm molto pratico, esiste anche in questo caso?
Guarda che la documentazione c'è ed è pure fatta molto bene, la libreria a cui devi fare riferimento è la CMSIS, per la documentazione basta aprire il file index.html che si trova nella cartella "\STM32F3-Discovery_FW_V1.1.0\Libraries\CMSIS", oppure vai sul sito ufficiale della libreria.
La cosa bella della CMSIS è che è hardware indipendent, questo vuol dire che le funzioni sono sempre le stesse per tutti i micro supportati, ovviamente compatibilmente con le risorse hardware disponibili.
Ovviamente il prerequisito per poter utilizzare questi micro è la conoscenza del C ANSI altrimenti non vai da nessuna parte e non è certo compito del produttore darti un manuale di programmazione C.