Contribuciones del usuario
Para Wilmorort (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 19:41 26 nov 2016 (dif | hist) . . (+10) . . Relación 5
- 19:40 26 nov 2016 (dif | hist) . . (+10) . . Relación 5
- 19:21 26 nov 2016 (dif | hist) . . (+11) . . Relación 5
- 18:57 26 nov 2016 (dif | hist) . . (+241) . . Relación 5
- 18:37 26 nov 2016 (dif | hist) . . (+10) . . Relación 5
- 23:10 24 nov 2016 (dif | hist) . . (+20) . . Relación 4
- 22:53 24 nov 2016 (dif | hist) . . (+10) . . Relación 4
- 15:28 22 nov 2016 (dif | hist) . . (+626) . . Relación 4
- 15:22 22 nov 2016 (dif | hist) . . (+132) . . Relación 4
- 14:21 22 nov 2016 (dif | hist) . . (+678) . . Relación 4
- 14:10 22 nov 2016 (dif | hist) . . (+10) . . Relación 4
- 14:01 22 nov 2016 (dif | hist) . . (+10) . . Relación 4
- 13:55 22 nov 2016 (dif | hist) . . (+491) . . Relación 4
- 13:42 22 nov 2016 (dif | hist) . . (+10) . . Relación 4
- 13:41 22 nov 2016 (dif | hist) . . (+10) . . Relación 4
- 20:45 21 nov 2016 (dif | hist) . . (+10) . . Relación 4
- 03:34 21 nov 2016 (dif | hist) . . (+543) . . Relación 4
- 02:54 21 nov 2016 (dif | hist) . . (+102) . . Relación 4
- 23:01 20 nov 2016 (dif | hist) . . (+11) . . Relación 4
- 22:59 20 nov 2016 (dif | hist) . . (+713) . . Relación 4
- 16:41 20 nov 2016 (dif | hist) . . (+30) . . Relación 4
- 16:37 20 nov 2016 (dif | hist) . . (+9) . . Relación 4
- 03:35 19 nov 2016 (dif | hist) . . (+9) . . Relación 4
- 22:47 14 nov 2016 (dif | hist) . . (+61) . . Relación 3
- 01:12 6 nov 2016 (dif | hist) . . (+231) . . Relación 2
- 09:24 4 nov 2016 (dif | hist) . . (+43) . . Relación 2
- 09:16 4 nov 2016 (dif | hist) . . (+49) . . Relación 2
- 09:10 4 nov 2016 (dif | hist) . . (-3) . . Usuario discusión:Wilmorort (Página blanqueada) (edición actual)
- 09:10 4 nov 2016 (dif | hist) . . (+3) . . N Usuario discusión:Wilmorort (Página creada con 'jjj')
- 09:08 4 nov 2016 (dif | hist) . . (+145) . . Discusión:Relación 2
- 09:07 4 nov 2016 (dif | hist) . . (+14) . . Discusión:Relación 2
- 09:06 4 nov 2016 (dif | hist) . . (+125) . . Discusión:Relación 2
- 09:04 4 nov 2016 (dif | hist) . . (-60) . . Discusión:Relación 2
- 09:03 4 nov 2016 (dif | hist) . . (+192) . . Discusión:Relación 2
- 08:59 4 nov 2016 (dif | hist) . . (+1880) . . N Discusión:Relación 2 (Página creada con ' <source lang="isar"> chapter {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2 imports Main begin declare names_short text {* ---------------------------...')
- 08:51 4 nov 2016 (dif | hist) . . (+1138) . . Relación 2
- 08:39 4 nov 2016 (dif | hist) . . (+137) . . Relación 2
- 08:36 4 nov 2016 (dif | hist) . . (+121) . . Relación 2
- 07:43 4 nov 2016 (dif | hist) . . (+110) . . Relación 2
- 22:33 3 nov 2016 (dif | hist) . . (+3741) . . N Relación 2 (Página creada con '<source lang="isar"> chapter {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2_Razonamiento_automatico_sobre_programas imports Main begin declare [[names_short...')
- 14:24 28 oct 2016 (dif | hist) . . (+123) . . Relación 1
- 04:57 28 oct 2016 (dif | hist) . . (+48) . . Relación 1
- 04:24 28 oct 2016 (dif | hist) . . (+359) . . Relación 1 (Deshecha la edición 62 de Wilmorort (disc.))
- 04:23 28 oct 2016 (dif | hist) . . (-359) . . Relación 1
- 04:20 28 oct 2016 (dif | hist) . . (+1) . . Relación 1
- 04:18 28 oct 2016 (dif | hist) . . (+191) . . Relación 1
- 03:52 28 oct 2016 (dif | hist) . . (+10) . . Relación 1
- 03:41 28 oct 2016 (dif | hist) . . (+157) . . Relación 1
- 23:25 27 oct 2016 (dif | hist) . . (+1) . . Relación 1
- 23:24 27 oct 2016 (dif | hist) . . (+118) . . Relación 1
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).