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:12 23 nov 2017 (dif | hist) . . (0) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 11:07 9 nov 2017 (dif | hist) . . (+681) . . Colaboraciones
- 11:05 9 nov 2017 (dif | hist) . . (+120) . . Relación 2
- 10:53 9 nov 2017 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:59 9 nov 2017 (dif | hist) . . (-1) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 08:58 9 nov 2017 (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 {* ----------------------------------------...')
- 08:58 9 nov 2017 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:57 9 nov 2017 (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 {* ----------------------------------------...')
- 08:56 9 nov 2017 (dif | hist) . . (+77) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 08:50 9 nov 2017 (dif | hist) . . (+23 802) . . 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...')
- 08:50 9 nov 2017 (dif | hist) . . (0) . . Temas
- 19:53 4 nov 2017 (dif | hist) . . (0) . . m Relación 2 (Desprotegió «Relación 2»)
- 19:52 4 nov 2017 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([edit=sysop] (caduca el 18:52 4 nov 2017 (UTC)) [move=sysop] (caduca el 18:52 4 nov 2017 (UTC))))
- 19:51 4 nov 2017 (dif | hist) . . (0) . . m Documentación (Protegió «Documentación» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:51 4 nov 2017 (dif | hist) . . (0) . . m Razonamiento automático (2017-18) (Protegió «Razonamiento automático (2017-18)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 16:56 2 nov 2017 (dif | hist) . . (+35) . . Relación 1
- 16:41 2 nov 2017 (dif | hist) . . (0) . . Colaboraciones (→Colaboraciones en la relación 1)
- 16:38 2 nov 2017 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 10:06 2 nov 2017 (dif | hist) . . (+336) . . N Colaboraciones (Página creada con '=== Colaboraciones en la relación 1 === <source lang="text"> | 11 | rafferrod | | 11 | rafcabgon | | 11 | luicedval | | 11 | edupalhid | | 11 | diwu2 | | 1...')
- 09:58 2 nov 2017 (dif | hist) . . (+3) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 09:57 2 nov 2017 (dif | hist) . . (+73) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 09:56 2 nov 2017 (dif | hist) . . (0) . . m Relación 1 (Desprotegió «Relación 1»)
- 09:55 2 nov 2017 (dif | hist) . . (+180) . . Relación 1
- 09:43 2 nov 2017 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:26 1 nov 2017 (dif | hist) . . (+3521) . . 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...')
- 12:25 1 nov 2017 (dif | hist) . . (0) . . m R2 (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:25 1 nov 2017 (dif | hist) . . (+3521) . . 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...')
- 12:21 1 nov 2017 (dif | hist) . . (0) . . Ejercicios
- 12:20 1 nov 2017 (dif | hist) . . (+13 934) . . 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:10 1 nov 2017 (dif | hist) . . (0) . . Temas
- 08:34 29 oct 2017 (dif | hist) . . (+2) . . Relación 1
- 08:33 29 oct 2017 (dif | hist) . . (-1) . . Relación 1
- 08:13 29 oct 2017 (dif | hist) . . (-11) . . Relación 1
- 20:03 26 oct 2017 (dif | hist) . . (0) . . m Ejercicios (Protegió «Ejercicios» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:03 26 oct 2017 (dif | hist) . . (0) . . m Tema 1: Programación funcional en Isabelle (Protegió «Tema 1: Programación funcional en Isabelle» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:02 26 oct 2017 (dif | hist) . . (0) . . m Temas (Cambió el nivel de protección de «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)) [en cascada])
- 20:02 26 oct 2017 (dif | hist) . . (0) . . m Temas (Protegió «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 17:16 26 oct 2017 (dif | hist) . . (+47) . . Relación 1
- 07:59 26 oct 2017 (dif | hist) . . (+5172) . . N Relación 1 (Página creada con '<source lang="isar"> chapter {* R1: Programación funcional en Isabelle *} theory R1_Programacion_funcional_en_Isabelle imports Main begin text {* ---------------------------...')
- 07:59 26 oct 2017 (dif | hist) . . (0) . . m R1 (Protegió «R1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 07:58 26 oct 2017 (dif | hist) . . (+5172) . . N R1 (Página creada con '<source lang="isar"> chapter {* R1: Programación funcional en Isabelle *} theory R1_Programacion_funcional_en_Isabelle imports Main begin text {* ---------------------------...')
- 07:57 26 oct 2017 (dif | hist) . . (+1) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 07:44 26 oct 2017 (dif | hist) . . (+9006) . . N Tema 1: Programación funcional en Isabelle (Página creada con '<source lang="isar"> chapter {* Tema 1: Programación funcional en Isabelle *} theory T1_Programacion_funcional_en_Isabelle imports Main begin section {* Introducción *} te...')
- 07:43 26 oct 2017 (dif | hist) . . (+1) . . Temas
- 07:17 26 oct 2017 (dif | hist) . . (-48) . . MediaWiki:Sidebar (edición actual)
- 12:35 22 oct 2017 (dif | hist) . . (+84) . . Sistemas (→Sistemas utilizados en Razonamiento automático (2017-18))
- 16:14 19 oct 2017 (dif | hist) . . (-65) . . Razonamiento automático (2017-18)
- 19:49 18 oct 2017 (dif | hist) . . (+1393) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 19:47 18 oct 2017 (dif | hist) . . (+1653) . . Temas (→Temas de Razonamiento automático (2017-18))
- 07:44 17 sep 2017 (dif | hist) . . (+223) . . Sistemas
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).