Contribuições do(a) usuário(a) Thesupervisar
De Thesupervisar discussão registo de bloqueios carregamentos registos conta global registo do filtro de edições
Um utilizador com 7 edições. Conta criada a 23 de junho de 2007.
10 de julho de 2007
- 17h42min17h42min de 10 de julho de 2007 dif his +1 Isabelle
- 17h42min17h42min de 10 de julho de 2007 dif his +224 Isabelle
- 17h39min17h39min de 10 de julho de 2007 dif his +86 Isabelle
- 17h34min17h34min de 10 de julho de 2007 dif his +1 531 N Isabelle ← nova página: ==Origem== ''Isabelle'' foi desenvolvido por Lawrence C. Paulson (Univ. of Cambridge, UK) e Tobias Nipkow (Technical Univ. of Munich, DE). Trata-se d...
- 16h26min16h26min de 10 de julho de 2007 dif his +160 Lógica modal
- 16h18min16h18min de 10 de julho de 2007 dif his −575 Lógica modal
- 16h15min16h15min de 10 de julho de 2007 dif his +5 233 Lógica modal →Origem