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.

• 13:34 21 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 236 de la página Rel 9 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