Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 14:17 10 nov 2016 (dif | hist) . . (+10) . . Relación 2
- 14:12 10 nov 2016 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:45 10 nov 2016 (dif | hist) . . (+5265) . . N Relación 3 (Página creada con '<source lang="isar"> chapter {* R3: Razonamiento sobre programas *} theory R3_Razonamiento_sobre_programas imports Main begin text {* ----------------------------------------...')
- 13:45 10 nov 2016 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:45 10 nov 2016 (dif | hist) . . (+5265) . . N R3 (Página creada con '<source lang="isar"> chapter {* R3: Razonamiento sobre programas *} theory R3_Razonamiento_sobre_programas imports Main begin text {* ----------------------------------------...')
- 13:44 10 nov 2016 (dif | hist) . . (0) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 13:20 10 nov 2016 (dif | hist) . . (0) . . m Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Protegió «Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:19 10 nov 2016 (dif | hist) . . (+23 555) . . N Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Página creada con '<source lang="isar"> chapter {* Tema 3: Razonamiento estructurado sobre programas *} theory T3_Razonamiento_sobre_programas imports Main begin text {* En este tema se demu...')
- 12:00 10 nov 2016 (dif | hist) . . (0) . . Temas
- 17:47 9 nov 2016 (dif | hist) . . (+3) . . Colaboraciones
- 17:46 9 nov 2016 (dif | hist) . . (0) . . m Colaboraciones (Protegió «Colaboraciones» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 17:27 9 nov 2016 (dif | hist) . . (0) . . m Relación 1 (Cambió el nivel de protección de «Relación 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 17:27 9 nov 2016 (dif | hist) . . (+206) . . Relación 1
- 17:12 9 nov 2016 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([edit=sysop] (caduca el 16:12 9 nov 2016 (UTC)) [move=sysop] (caduca el 16:12 9 nov 2016 (UTC))))
- 17:10 9 nov 2016 (dif | hist) . . (0) . . m Relación 2 (Desprotegió «Relación 2»)
- 17:10 9 nov 2016 (dif | hist) . . (+20) . . Relación 2
- 17:03 9 nov 2016 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([edit=sysop] (caduca el 16:03 9 nov 2016 (UTC)) [move=sysop] (caduca el 16:03 9 nov 2016 (UTC))))
- 08:23 7 nov 2016 (dif | hist) . . (+329) . . Relación 2
- 11:52 6 nov 2016 (dif | hist) . . (+65) . . Razonamiento automático (2016-17) (→Material para el curso)
- 11:51 6 nov 2016 (dif | hist) . . (+46) . . MediaWiki:Sidebar (edición actual)
- 11:44 6 nov 2016 (dif | hist) . . (+174) . . Ejercicios (→Relaciones de ejercicios)
- 09:08 6 nov 2016 (dif | hist) . . (+50) . . Discusión:Relación 2 (→Pregunta de Wilmorort) (edición actual)
- 09:03 6 nov 2016 (dif | hist) . . (+94) . . Relación 2
- 08:57 5 nov 2016 (dif | hist) . . (0) . . m Relación 2 (Desprotegió «Relación 2»)
- 08:56 5 nov 2016 (dif | hist) . . (+322) . . Relación 2
- 08:26 5 nov 2016 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([edit=sysop] (caduca el 07:26 5 nov 2016 (UTC)) [move=sysop] (caduca el 07:26 5 nov 2016 (UTC))))
- 18:39 4 nov 2016 (dif | hist) . . (+29) . . Discusión:Relación 2
- 23:41 3 nov 2016 (dif | hist) . . (0) . . m R2 (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:24 3 nov 2016 (dif | hist) . . (+3741) . . N R2 (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...')
- 13:19 3 nov 2016 (dif | hist) . . (0) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 13:18 3 nov 2016 (dif | hist) . . (+13 855) . . N Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (Página creada con '<source lang="isar"> chapter {* Tema 2: Razonamiento automático sobre programas en Isabelle/HOL *} theory T2b_Razonamiento_automatico_sobre_programas_en_IsabelleHOL imports Ma...')
- 12:42 3 nov 2016 (dif | hist) . . (+2) . . Temas
- 09:58 3 nov 2016 (dif | hist) . . (0) . . m Relación 1 (Desprotegió «Relación 1»)
- 09:51 3 nov 2016 (dif | hist) . . (+188) . . Relación 1
- 09:41 3 nov 2016 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([edit=sysop] (caduca el 08:41 3 nov 2016 (UTC)) [move=sysop] (caduca el 08:41 3 nov 2016 (UTC))))
- 21:38 31 oct 2016 (dif | hist) . . (+614) . . N Colaboraciones (Página creada con 'Colaboraciones en la relación 1 <source lang="text"> | 16 | danrodcha | | 13 | rubgonmar | | 13 | pablucoto | | 12 | marcarmor13 | | 12 | manmorjim1 | | 12 | jeam...')
- 21:25 31 oct 2016 (dif | hist) . . (0) . . m Relación 1 (Desprotegió «Relación 1»)
- 21:24 31 oct 2016 (dif | hist) . . (+547) . . Relación 1
- 20:55 31 oct 2016 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([edit=sysop] (caduca el 19:55 31 oct 2016 (UTC)) [move=sysop] (caduca el 19:55 31 oct 2016 (UTC))))
- 17:38 31 oct 2016 (dif | hist) . . (0) . . m Relación 1 (Desprotegió «Relación 1»)
- 17:38 31 oct 2016 (dif | hist) . . (+31) . . Relación 1
- 17:37 31 oct 2016 (dif | hist) . . (-31) . . Relación 1
- 17:36 31 oct 2016 (dif | hist) . . (+830) . . Relación 1
- 17:13 31 oct 2016 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([edit=sysop] (caduca el 16:13 31 oct 2016 (UTC)) [move=sysop] (caduca el 16:13 31 oct 2016 (UTC))))
- 23:50 24 oct 2016 (dif | hist) . . (+1) . . Tema 1: Programación funcional en Isabelle
- 23:49 24 oct 2016 (dif | hist) . . (+1) . . Relación 1
- 23:49 24 oct 2016 (dif | hist) . . (-1) . . Relación 1
- 23:45 24 oct 2016 (dif | hist) . . (+1) . . Relación 1
- 23:44 24 oct 2016 (dif | hist) . . (+1) . . R1
- 23:38 24 oct 2016 (dif | hist) . . (+961) . . Tema 1: Programación funcional en Isabelle
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).