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.

• 12:20 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 150 de la página Trabajos como verificada
• 12:17 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 146 de la página Trabajos como verificada
• 12:16 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 145 de la página Trabajos como verificada
• 12:15 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 144 de la página Trabajos como verificada