Contribuciones del usuario
Para Wilmorort (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 23:47 14 nov 2016 (dif | hist) . . (+61) . . Relación 3
- 02:12 6 nov 2016 (dif | hist) . . (+231) . . Relación 2
- 10:24 4 nov 2016 (dif | hist) . . (+43) . . Relación 2
- 10:16 4 nov 2016 (dif | hist) . . (+49) . . Relación 2
- 10:10 4 nov 2016 (dif | hist) . . (-3) . . Usuario discusión:Wilmorort (Página blanqueada) (edición actual)
- 10:10 4 nov 2016 (dif | hist) . . (+3) . . N Usuario discusión:Wilmorort (Página creada con 'jjj')
- 10:08 4 nov 2016 (dif | hist) . . (+145) . . Discusión:Relación 2
- 10:07 4 nov 2016 (dif | hist) . . (+14) . . Discusión:Relación 2
- 10:06 4 nov 2016 (dif | hist) . . (+125) . . Discusión:Relación 2
- 10:04 4 nov 2016 (dif | hist) . . (-60) . . Discusión:Relación 2
- 10:03 4 nov 2016 (dif | hist) . . (+192) . . Discusión:Relación 2
- 09: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 {* ---------------------------...')
- 09:51 4 nov 2016 (dif | hist) . . (+1138) . . Relación 2
- 09:39 4 nov 2016 (dif | hist) . . (+137) . . Relación 2
- 09:36 4 nov 2016 (dif | hist) . . (+121) . . Relación 2
- 08:43 4 nov 2016 (dif | hist) . . (+110) . . Relación 2
- 23: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...')
- 15:24 28 oct 2016 (dif | hist) . . (+123) . . Relación 1
- 05:57 28 oct 2016 (dif | hist) . . (+48) . . Relación 1
- 05:24 28 oct 2016 (dif | hist) . . (+359) . . Relación 1 (Deshecha la edición 62 de Wilmorort (disc.))
- 05:23 28 oct 2016 (dif | hist) . . (-359) . . Relación 1
- 05:20 28 oct 2016 (dif | hist) . . (+1) . . Relación 1
- 05:18 28 oct 2016 (dif | hist) . . (+191) . . Relación 1
- 04:52 28 oct 2016 (dif | hist) . . (+10) . . Relación 1
- 04:41 28 oct 2016 (dif | hist) . . (+157) . . Relación 1
- 00:25 28 oct 2016 (dif | hist) . . (+1) . . Relación 1
- 00:24 28 oct 2016 (dif | hist) . . (+118) . . Relación 1
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).