Contribuciones del usuario
Para Wilmorort (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 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).