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: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: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:20 2 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 246 de la página Temas LCyTM 2015 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
• 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
• 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
• 13:23 5 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 201 de la página Temas LCyTM 2015 como verificada
• 11:03 5 ene 2016 WikiSysop (discusión | contribuciones) marcó automáticamente la revisión 200 de la página Temas LCyTM 2015 como verificada