Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 13:44 15 dic 2016 (dif | hist) . . (0) . . Temas (→Temas de Razonamiento automático (2016-17))
- 13:38 15 dic 2016 (dif | hist) . . (+621) . . Relación 6
- 12:05 15 dic 2016 (dif | hist) . . (0) . . m Relación 6 (Protegió «Relación 6» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:47 8 dic 2016 (dif | hist) . . (0) . . m Relación 4 (Desprotegió «Relación 4»)
- 19:46 8 dic 2016 (dif | hist) . . (0) . . m Relación 3 (Desprotegió «Relación 3»)
- 19:46 8 dic 2016 (dif | hist) . . (0) . . m Relación 2 (Desprotegió «Relación 2»)
- 19:45 8 dic 2016 (dif | hist) . . (0) . . m Relación 1 (Desprotegió «Relación 1»)
- 19:51 2 dic 2016 (dif | hist) . . (+7073) . . N Relación 6 (Página creada con '<source lang="isar"> chapter {* R6: Recorridos de árboles *} theory R6_Recorridos_de_arboles imports Main begin text {* ------------------------------------------------...')
- 19:50 2 dic 2016 (dif | hist) . . (0) . . R6
- 19:50 2 dic 2016 (dif | hist) . . (0) . . m R6 (Protegió «R6» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:50 2 dic 2016 (dif | hist) . . (+7073) . . N R6 (Página creada con '<source lang="isar"> chapter {* R7: Recorridos de árboles *} theory R6_Recorridos_de_arboles imports Main begin text {* ------------------------------------------------...')
- 19:49 2 dic 2016 (dif | hist) . . (+2) . . Ejercicios
- 06:54 1 dic 2016 (dif | hist) . . (0) . . Colaboraciones (edición actual)
- 06:54 1 dic 2016 (dif | hist) . . (0) . . Colaboraciones
- 06:51 1 dic 2016 (dif | hist) . . (0) . . m Relación 5 (Desprotegió «Relación 5»)
- 06:51 1 dic 2016 (dif | hist) . . (+346) . . Relación 5
- 06:04 1 dic 2016 (dif | hist) . . (0) . . m Relación 5 (Protegió «Relación 5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 21:43 30 nov 2016 (dif | hist) . . (0) . . m Relación 5 (Desprotegió «Relación 5»)
- 21:43 30 nov 2016 (dif | hist) . . (+1070) . . Relación 5
- 20:41 30 nov 2016 (dif | hist) . . (0) . . m Relación 5 (Protegió «Relación 5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 11:13 26 nov 2016 (dif | hist) . . (0) . . Colaboraciones
- 09:10 25 nov 2016 (dif | hist) . . (+4628) . . N Relación 5 (Página creada con '<source lang="isar"> chapter {* R5: Eliminación de duplicados *} theory R5_Eliminacion_de_duplicados imports Main begin text {* -----------------------------------...')
- 09:09 25 nov 2016 (dif | hist) . . (0) . . m R5 (Protegió «R5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 09:09 25 nov 2016 (dif | hist) . . (+4628) . . N R5 (Página creada con '<source lang="isar"> chapter {* R5: Eliminación de duplicados *} theory R5_Eliminacion_de_duplicados imports Main begin text {* -----------------------------------...')
- 09:07 25 nov 2016 (dif | hist) . . (+113) . . Ejercicios
- 09:05 25 nov 2016 (dif | hist) . . (0) . . m Relación 4 (Protegió «Relación 4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 14:50 24 nov 2016 (dif | hist) . . (0) . . Colaboraciones
- 14:47 24 nov 2016 (dif | hist) . . (+8297) . . N Tema 5: Razonamiento sobre árboles y bosques (Página creada con '<source lang="isar"> chapter {* Tema 5: Razonamiento sobre árboles *} theory T5_Razonamiento_sobre_arboles imports Main Parity begin text {* En este tema se estudia razonam...')
- 14:44 24 nov 2016 (dif | hist) . . (+53) . . Temas
- 14:43 24 nov 2016 (dif | hist) . . (-7801) . . Tema 4: Razonamiento por casos y por inducción
- 09:28 24 nov 2016 (dif | hist) . . (0) . . m Relación 4 (Desprotegió «Relación 4»)
- 09:28 24 nov 2016 (dif | hist) . . (+1962) . . Relación 4
- 07:49 24 nov 2016 (dif | hist) . . (0) . . m Relación 4 (Protegió «Relación 4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 21:36 23 nov 2016 (dif | hist) . . (0) . . m Relación 3 (Protegió «Relación 3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 14:18 21 nov 2016 (dif | hist) . . (0) . . m Relación 3 (Desprotegió «Relación 3»)
- 21:12 20 nov 2016 (dif | hist) . . (0) . . m Relación 3 (Protegió «Relación 3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:06 17 nov 2016 (dif | hist) . . (+7361) . . N Relación 4 (Página creada con '<source lang="isar"> chapter {* R4: Cuantificadores sobre listas *} theory R4_Cuantificadores_sobre_listas imports Main begin text {* -------------------------------------...')
- 12:05 17 nov 2016 (dif | hist) . . (0) . . m R4 (Protegió «R4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:05 17 nov 2016 (dif | hist) . . (+7361) . . N R4 (Página creada con '<source lang="isar"> chapter {* R4: Cuantificadores sobre listas *} theory R4_Cuantificadores_sobre_listas imports Main begin text {* -------------------------------------...')
- 12:04 17 nov 2016 (dif | hist) . . (-99) . . Ejercicios
- 10:40 17 nov 2016 (dif | hist) . . (0) . . m Tema 4: Razonamiento por casos y por inducción (Protegió «Tema 4: Razonamiento por casos y por inducción» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 10:39 17 nov 2016 (dif | hist) . . (+25 268) . . N Tema 4: Razonamiento por casos y por inducción (Página creada con '<source lang="isar"> chapter {* Tema 4: Razonamiento por casos y por inducción *} theory T4_Razonamiento_por_casos_y_por_induccion imports Main Parity begin text {* En este...')
- 10:30 17 nov 2016 (dif | hist) . . (0) . . Temas
- 10:28 17 nov 2016 (dif | hist) . . (0) . . Colaboraciones
- 10:26 17 nov 2016 (dif | hist) . . (0) . . m Relación 3 (Desprotegió «Relación 3»)
- 10:26 17 nov 2016 (dif | hist) . . (+323) . . Relación 3
- 09:54 17 nov 2016 (dif | hist) . . (0) . . m Relación 3 (Protegió «Relación 3» ([edit=sysop] (caduca el 08:54 17 nov 2016 (UTC)) [move=sysop] (caduca el 08:54 17 nov 2016 (UTC))))
- 07:16 11 nov 2016 (dif | hist) . . (0) . . Documentación (→Cursos con Isabelle/HOL)
- 07:16 11 nov 2016 (dif | hist) . . (+170) . . Documentación (→Cursos con Isabelle/HOL)
- 14:19 10 nov 2016 (dif | hist) . . (0) . . Colaboraciones
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).