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.

• 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:27 5 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 203 de la página Tema 13: Expresiones aritméticas. como verificada
• 13:24 5 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 202 de la página Tema 13: Expresiones aritméticas. como verificada