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.

• 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
• 10:32 27 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 30 de la página Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL como verificada
• 10:31 27 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 29 de la página Temas como verificada
• 12:50 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 28 de la página Temas como verificada
• 12:48 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 27 de la página Documentación como verificada
• 12:12 20 feb 2015 Mjoseh (discusión | contribuciones) modificó los grupos a los que pertenece Fjesus: de (ninguno) a bot, administrador y burócrata
• 11:47 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 26 de la página Temas como verificada
• 11:46 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 25 de la página Documentación como verificada
• 11:36 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 24 de la página Documentación como verificada
• 11:35 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 23 de la página Documentación como verificada
• 11:31 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 22 de la página Documentación como verificada
• 11:28 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 21 de la página Documentación como verificada
• 11:27 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 20 de la página Documentación como verificada
• 11:26 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 19 de la página Documentación como verificada
• 11:11 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 18 de la página Documentación como verificada
• 11:10 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 17 de la página Documentación como verificada
• 11:08 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 16 de la página Documentación como verificada
• 10:31 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 15 de la página Temas como verificada
• 10:28 20 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 14 de la página Temas como verificada
• 23:43 19 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 13 de la página Temas como verificada
• 23:41 19 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 12 de la página Temas como verificada
• 21:48 19 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 11 de la página Documentación como verificada
• 21:28 19 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 10 de la página Documentación como verificada
• 21:26 19 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 9 de la página Temas como verificada
• 21:24 19 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 8 de la página Ejercicios como verificada
• 21:03 19 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 7 de la página Sistemas como verificada
• 21:02 19 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 6 de la página Documentación como verificada
• 20:59 19 feb 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 5 de la página Documentación como verificada
• 09:59 9 feb 2015 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Mjoseh: de (ninguno) a bot, administrador y burócrata
• 09:49 9 feb 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 4 de la página Demostración automática de teoremas (2014-15) como verificada
• 09:45 9 feb 2015 WikiSysop (discusión | contribuciones) modificó los grupos a los que pertenece Jalonso: de (ninguno) a bot, administrador y burócrata
• 09:44 9 feb 2015 Se ha creado la cuenta de usuario Mjoseh (discusión | contribuciones)
• 09:43 9 feb 2015 Se ha creado la cuenta de usuario Jalonso (discusión | contribuciones)
• 09:42 9 feb 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 3 de la página MediaWiki:Mainpage como verificada
• 09:41 9 feb 2015 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 2 de la página MediaWiki:Sidebar como verificada