Todos los registros públicos
Vista combinada de todos los registros de Demostración automática de teoremas (2014-15). Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).- 12:15 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 144 de la página Trabajos como verificada
- 12:07 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 142 de la página Demostración automática de teoremas (2014-15) como verificada
- 12:06 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 141 de la página Tema 11: Métodos de demostración. como verificada
- 12:00 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 140 de la página Temas como verificada
- 13:15 10 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 136 de la página Tema 10: Conjuntos, funciones y relaciones. como verificada
- 13:14 10 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 135 de la página Temas como verificada
- 11:52 8 abr 2015 Mjoseh (discusión | contribuciones) protegió la página R6 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 11:52 8 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 133 de la página Relación 6 como verificada
- 11:51 8 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 132 de la página R6 como verificada
- 09:50 8 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 131 de la página Ejercicios como verificada
- 09:49 8 abr 2015 Mjoseh (discusión | contribuciones) protegió la página R5 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 09:48 8 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 129 de la página Relación 5 como verificada
- 09:48 8 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 128 de la página R5 como verificada
- 09:48 8 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 127 de la página Ejercicios como verificada
- 08:56 8 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 126 de la página Tema 9: Razonamiento por casos e inducción. como verificada
- 08:55 8 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 125 de la página Temas como verificada
- 08:54 8 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 124 de la página Temas como verificada
- 11:40 6 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 123 de la página Temas como verificada
- 20:47 22 mar 2015 Mjoseh (discusión | contribuciones) protegió la página Tema 8: Razonamiento sobre programas en Isabelle/HOL. [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 20:47 22 mar 2015 Mjoseh (discusión | contribuciones) protegió la página Tema 7: Programación funcional en Isabelle/HOL. [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 20:47 22 mar 2015 Mjoseh (discusión | contribuciones) protegió la página R4 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 20:46 22 mar 2015 Mjoseh (discusión | contribuciones) protegió la página R3 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 20:46 22 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 107 de la página Relación 4 como verificada
- 20:46 22 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 106 de la página R4 como verificada
- 20:43 22 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 105 de la página Relación 3 como verificada
- 20:43 22 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 104 de la página R3 como verificada
- 20:42 22 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 103 de la página Ejercicios como verificada
- 20:40 22 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 102 de la página Tema 8: Razonamiento sobre programas en Isabelle/HOL. como verificada
- 20:39 22 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 101 de la página Tema 7: Programación funcional en Isabelle/HOL. como verificada
- 20:38 22 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 100 de la página Temas como verificada
- 12:16 16 mar 2015 Mjoseh (discusión | contribuciones) protegió la página R2 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 12:16 16 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 71 de la página Relación 2 como verificada
- 12:16 16 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 70 de la página R2 como verificada
- 12:15 16 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 69 de la página Ejercicios como verificada
- 20:17 11 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 68 de la página Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL como verificada
- 20:12 11 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 67 de la página Temas como verificada
- 13:59 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 44 de la página Documentación como verificada
- 13:59 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 43 de la página Documentación como verificada
- 11:51 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 42 de la página Documentación como verificada
- 11:50 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 41 de la página Documentación como verificada
- 11:33 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 40 de la página Ejercicios como verificada
- 11:26 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 39 de la página Temas como verificada
- 11:20 3 mar 2015 Fjesus (discusión | contribuciones) marcó automáticamente la revisión 38 de la página Temas como verificada
- 14:53 2 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 37 de la página Relación 1 como verificada
- 14:53 2 mar 2015 Mjoseh (discusión | contribuciones) protegió la página R1 [edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
- 14:53 2 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 35 de la página R1 como verificada
- 14:52 2 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 34 de la página R1 como verificada
- 14:50 2 mar 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 33 de la página Ejercicios como verificada
- 10:36 27 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 32 de la página Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL como verificada
- 10:35 27 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 31 de la página Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL como verificada