Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)- 19:22 8 feb 2022 (dif | hist) . . (+122) . . Documentación (edición actual)
- 14:52 8 feb 2022 (dif | hist) . . (+211) . . N Sistemas (Página creada con «== Temas utilizados en ''Razonamiento automático (2015-16)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www.cl.cam.ac.…») (edición actual)
- 14:50 8 feb 2022 (dif | hist) . . (-11 907) . . Documentación
- 17:16 23 dic 2015 (dif | hist) . . (+4) . . Documentación (→Referencias sobre Isabelle/HOL)
- 17:15 23 dic 2015 (dif | hist) . . (-29) . . Documentación (→Referencias sobre Isabelle/HOL)
- 17:12 23 dic 2015 (dif | hist) . . (-7) . . Documentación (→Referencias sobre Isabelle/HOL)
- 13:25 15 dic 2015 (dif | hist) . . (+12) . . Relación 2 (edición actual)
- 18:06 14 dic 2015 (dif | hist) . . (+5028) . . N Relación 3 (Página creada con '<source lang="isar"> header {* R3: Razonamiento sobre programas en Isabelle/HOL *} theory R3 imports Main begin text {* ------------------------------------------------------...')
- 18:06 14 dic 2015 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 18:06 14 dic 2015 (dif | hist) . . (+5028) . . N R3 (Página creada con '<source lang="isar"> header {* R3: Razonamiento sobre programas en Isabelle/HOL *} theory R3 imports Main begin text {* ------------------------------------------------------...')
- 18:05 14 dic 2015 (dif | hist) . . (0) . . Ejercicios
- 18:04 14 dic 2015 (dif | hist) . . (+22 981) . . N Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 3: Razonamiento sobre programas *} theory T3_Razonamiento_sobre_programas imports Main begin text {* En este tema se demuestra con Isab...')
- 18:03 14 dic 2015 (dif | hist) . . (0) . . Temas (edición actual)
- 17:15 1 dic 2015 (dif | hist) . . (-82) . . Discusión:Relación 1 (edición actual)
- 17:11 1 dic 2015 (dif | hist) . . (+82) . . Discusión:Relación 1
- 13:55 1 dic 2015 (dif | hist) . . (0) . . m R2 (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:54 1 dic 2015 (dif | hist) . . (+5028) . . N Relación 2 (Página creada con '<source lang="isar"> header {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2 imports Main begin text {* ------------------------------------------------------...')
- 13:54 1 dic 2015 (dif | hist) . . (+5028) . . N R2 (Página creada con '<source lang="isar"> header {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2 imports Main begin text {* ------------------------------------------------------...')
- 13:54 1 dic 2015 (dif | hist) . . (0) . . Ejercicios (→Relaciones de ejercicios)
- 13:53 1 dic 2015 (dif | hist) . . (+12 565) . . N Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 2: Razonamiento automático sobre programas en Isabelle/HOL *} theory T2_Razonamiento_sobre_programas imports Main begin text {* En est...')
- 13:52 1 dic 2015 (dif | hist) . . (-1) . . Temas
- 13:51 1 dic 2015 (dif | hist) . . (+3) . . Temas
- 13:50 1 dic 2015 (dif | hist) . . (+304) . . Relación 1 (edición actual)
- 11:14 30 nov 2015 (dif | hist) . . (+8) . . Discusión:Relación 1
- 11:11 30 nov 2015 (dif | hist) . . (+25) . . Discusión:Relación 1
- 11:11 30 nov 2015 (dif | hist) . . (+113) . . Discusión:Relación 1
- 11:10 30 nov 2015 (dif | hist) . . (+126) . . N Discusión:Relación 1 (Página creada con 'He cambiado el sitio de los nombres de los autores para ponerlo delante de cada definición. ~~~ ----')
- 11:09 30 nov 2015 (dif | hist) . . (+44) . . Relación 1