22 giu 2010
- 21:1321:13, 22 giu 2010 diff cron +2 Schema di assiomi di specificazione Nessun oggetto della modifica
- 21:0021:00, 22 giu 2010 diff cron 0 Assioma dell'infinito Nessun oggetto della modifica
- 20:5820:58, 22 giu 2010 diff cron +51 Assioma dell'infinito Nessun oggetto della modifica