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.

• 11:22 11 oct 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 262 de la página Tema 12: Definiciones inductivas en Isabelle/HOL. Caso de estudio: clausura reflexiva transitiva. como verificada
• 10:20 31 mar 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 261 de la página Rel 12 como verificada
• 10:19 31 mar 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 260 de la página Rel 12 (e) como verificada
• 10:18 31 mar 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 259 de la página Rel 11 como verificada
• 10:18 31 mar 2016 Mjoseh (discusión | contribuciones) protegió la página Rel 11 (e) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 10:18 31 mar 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 257 de la página Rel 11 (e) como verificada
• 10:17 31 mar 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 256 de la página Ejercicios como verificada
• 14:49 25 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 255 de la página Temas como verificada
• 10:41 9 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 254 de la página Tema 17: Lógica de Hoare en Isabelle/HOL. como verificada
• 20:14 8 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 253 de la página Tema 20: Lógica de Hoare en Isabelle/HOL: condiciones de verificación. como verificada
• 20:13 8 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 252 de la página Tema 19: Lógica de Hoare en Isabelle/HOL: adecuación y completitud de la corrección total. como verificada
• 20:12 8 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 251 de la página Temas LCyTM 2015 como verificada
• 21:13 2 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 250 de la página Ejemplos de verificación de propiedades en Lógica de Hoare usando Isabelle/HOL. como verificada
• 21:12 2 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 249 de la página Temas LCyTM 2015 como verificada
• 14:21 2 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 248 de la página Tema 18: Adecuación y completitud de la Lógica de Hoare en Isabelle/HOL. como verificada
• 14:21 2 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 247 de la página Tema 18: Adecuación y completitud de la Lógica de Hoare en Isabelle/HOL. como verificada
• 14:20 2 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 246 de la página Temas LCyTM 2015 como verificada
• 11:27 1 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 245 de la página Tema 17: Lógica de Hoare en Isabelle/HOL. como verificada
• 13:31 26 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 242 de la página Tema 17: Lógica de Hoare en Isabelle/HOL. como verificada
• 13:31 26 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 241 de la página Tema 17: Lógica de Hoare en Isabelle/HOL. como verificada
• 13:30 26 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 240 de la página Tema 17: Lógica de Hoare en Isabelle/HOL. como verificada
• 13:30 26 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 239 de la página Temas LCyTM 2015 como verificada
• 13:34 21 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 236 de la página Rel 9 como verificada
• 11:45 20 ene 2016 Mjoseh (discusión | contribuciones) protegió la página Tema 16: Semántica operacional del lenguaje imperativo simple IMP. ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:45 20 ene 2016 Mjoseh (discusión | contribuciones) protegió la página Rel 9 (e) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:45 20 ene 2016 Mjoseh (discusión | contribuciones) protegió la página Rel 8 (e) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:44 20 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 229 de la página Rel 10 como verificada
• 11:44 20 ene 2016 Mjoseh (discusión | contribuciones) protegió la página Rel 10 (e) ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 11:44 20 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 227 de la página Rel 10 (e) como verificada
• 11:43 20 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 226 de la página Ejercicios como verificada
• 11:40 20 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 225 de la página Tema 16: Semántica operacional del lenguaje imperativo simple IMP. como verificada
• 11:39 20 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 224 de la página Temas LCyTM 2015 como verificada
• 12:28 15 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 223 de la página Tema 15: Sintaxis de un lenguaje imperativo simple. como verificada
• 11:55 13 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 221 de la página Tema 15: Sintaxis de un lenguaje imperativo simple. como verificada
• 11:55 13 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 220 de la página Temas LCyTM 2015 como verificada
• 10:20 13 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 219 de la página Temas LCyTM 2015 como verificada
• 10:14 13 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 218 de la página Rel 9 como verificada
• 10:13 13 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 217 de la página Rel 9 (e) como verificada
• 10:12 13 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 216 de la página Ejercicios como verificada
• 10:11 13 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 215 de la página Tema 14: Expresiones booleanas. como verificada
• 09:08 7 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 214 de la página Ejercicios como verificada
• 09:04 7 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 213 de la página Ejercicios como verificada
• 23:16 6 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 212 de la página Rel 8 como verificada
• 23:14 6 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 211 de la página Rel 8 (e) como verificada
• 23:13 6 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 210 de la página Ejercicios como verificada
• 23:12 6 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 209 de la página Ejercicios como verificada
• 23:08 6 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 208 de la página Tema 13: Expresiones aritméticas. como verificada
• 13:31 5 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 207 de la página Temas como verificada
• 13:31 5 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 206 de la página Temas como verificada
• 13:30 5 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 205 de la página Temas como verificada