Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 19:18 8 feb 2022 (dif | hist) . . (-16) . . Documentación (edición actual)
- 19:16 8 feb 2022 (dif | hist) . . (+138) . . Documentación
- 12:46 8 feb 2022 (dif | hist) . . (-3248) . . Documentación
- 12:45 8 feb 2022 (dif | hist) . . (-422) . . Documentación (→Bibliotecas de ejemplos de verificación)
- 12:44 8 feb 2022 (dif | hist) . . (-85) . . Documentación (→Bibliotecas de ejemplos de verificación)
- 12:43 8 feb 2022 (dif | hist) . . (-287) . . Documentación (→Otros cursos)
- 12:42 8 feb 2022 (dif | hist) . . (+3) . . Documentación (→Otros cursos)
- 12:42 8 feb 2022 (dif | hist) . . (-267) . . Documentación (→Cursos con Isabelle/HOL)
- 12:41 8 feb 2022 (dif | hist) . . (-138) . . Documentación (→Cursos con Isabelle/HOL)
- 12:39 8 feb 2022 (dif | hist) . . (+1) . . Documentación (→Cursos con Isabelle/HOL)
- 12:39 8 feb 2022 (dif | hist) . . (-7) . . Documentación (→Cursos con Isabelle/HOL)
- 12:37 8 feb 2022 (dif | hist) . . (-135) . . Documentación (→Cursos con Isabelle/HOL)
- 12:36 8 feb 2022 (dif | hist) . . (-115) . . Documentación (→Cursos con Isabelle/HOL)
- 12:35 8 feb 2022 (dif | hist) . . (+73) . . Documentación (→Lógica computacional)
- 12:24 8 feb 2022 (dif | hist) . . (-21) . . Documentación (→Lógica computacional)
- 12:23 8 feb 2022 (dif | hist) . . (+3) . . Documentación (→Lógica computacional)
- 12:22 8 feb 2022 (dif | hist) . . (+3) . . Documentación (→Programación funcional)
- 12:21 8 feb 2022 (dif | hist) . . (-4) . . Documentación (→Referencias sobre Isabelle/HOL)
- 12:20 8 feb 2022 (dif | hist) . . (-21) . . Documentación (→Referencias sobre Isabelle/HOL)
- 12:19 8 feb 2022 (dif | hist) . . (-107) . . Documentación (→Referencias sobre Isabelle/HOL)
- 12:17 8 feb 2022 (dif | hist) . . (+17) . . Documentación (→Referencias sobre Isabelle/HOL)
- 12:16 8 feb 2022 (dif | hist) . . (+2) . . Documentación (→Visiones generales de la DAO)
- 12:14 8 feb 2022 (dif | hist) . . (-14) . . Documentación (→Visiones generales de la DAO)
- 12:14 8 feb 2022 (dif | hist) . . (+77) . . Documentación (→Visiones generales de la DAO)
- 17:43 15 jul 2018 (dif | hist) . . (+10) . . MediaWiki:Sidebar (edición actual)
- 17:39 15 jul 2018 (dif | hist) . . (-10) . . MediaWiki:Sidebar
- 17:30 15 jul 2018 (dif | hist) . . (+35) . . MediaWiki:Sidebar
- 14:14 15 jul 2018 (dif | hist) . . (-2521) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador) (edición actual)
- 14:04 15 jul 2018 (dif | hist) . . (+4) . . RA12 Relación 17 (edición actual)
- 14:04 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 22 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 14:04 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 2 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 14:03 15 jul 2018 (dif | hist) . . (+4) . . m GLC T2R1 (Texto reemplazado: «lang="isar"» por «lang="isabelle"») (edición actual)
- 14:03 15 jul 2018 (dif | hist) . . (+4) . . m Rel 2 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 14:03 15 jul 2018 (dif | hist) . . (+4) . . RA12 Relación 9 (edición actual)
- 14:02 15 jul 2018 (dif | hist) . . (+4) . . RA12 Relación 6 (edición actual)
- 14:01 15 jul 2018 (dif | hist) . . (+4) . . m GLC T1R1 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 14:00 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 8 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 14:00 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 12 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 14:00 15 jul 2018 (dif | hist) . . (+4) . . m Rel 3 (Texto reemplazado: «lang="isar"» por «lang="isabelle"») (edición actual)
- 14:00 15 jul 2018 (dif | hist) . . (+4) . . m GLC T1R2 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:59 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 19 (Texto reemplazado: «lang="isar"» por «lang="isabelle"») (edición actual)
- 13:58 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 7 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:58 15 jul 2018 (dif | hist) . . (+4) . . m GLC T2R2a (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:57 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 14 (Texto reemplazado: «lang="isar"» por «lang="isabelle"») (edición actual)
- 13:57 15 jul 2018 (dif | hist) . . (+4) . . m GLC T2R2b (Texto reemplazado: «lang="isar"» por «lang="isabelle"») (edición actual)
- 13:55 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 13 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:55 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 11 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:52 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 10 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:52 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 15 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:51 15 jul 2018 (dif | hist) . . (+4) . . m RA12 Relación 21 (Texto reemplazado: «lang="isar"» por «lang="isabelle"») (edición actual)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).