::
Basta che tu cerchi amsthm.sty nel tuo disco e hai tutta l’implementazione.
Questo vale per qualsiasi modulo di estensione (chiamato spesso col nome di pacchetto)
Ma, detto questo, a che cosa ti serve? Tieni presente che sei libero di copiare dal file amsthm.sty qualunque parte ti occorra avere a portata di mouse, ma non sei libero di modificare il file amsthm.sty né qualuqunque altro file della distribuzione del sistema TeX; al massimo qualche licenza ti permette di farlo purché cambi nome al file che vuoi modificare;il file ol nome originale non può essere modificato.
Oppure, ti può servire avere a portata di mano il file sorgente per apportarvi delle modifiche dinamiche; vale a dire il ocmando \xyq non ti piace e lo vuoi modificare per l’uso che ne vuoi fare in un documento specifico? Bene; basta mettere nel preambolo del file soorgente del tuo documento un comando [tt]\appto{…}…{…}[/tt] (o un altro comando dello stesso genere) per sostutuire qualche stringa contenuta nel file originale con una stringa che esegua la compilazione con ciò che piace a te.
Devi usare le potenti macro del modulo etoolbox, di cui devi leggere con oculatezza la documentazione.
Se ti senti in grado di procedere con queste strade, che sono però abbastanza ostiche. È sicuramante più facile copiare la macro da modificare nel proprio preambolo e modificare solo questa copia. Ma le modifiche apportate devono essere ftta su un;altra copia della macro a cui per ovvi motivi bisogna cambiare nome.
.
