4 Marzo 2004 alle 21:57
#1032
::
Forse non servirà più a chi ha aperto questo thread ma potrebbe essere utile a qualcun altro: esiste il pacchetto ntheorem che fa liste dei teoremi e altro. E’ reperibile qua: http://user.informatik.uni-goettingen.de/~may/Ntheorem/.