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:28 5 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 204 de la página Temas 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
• 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
• 20:59 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 191 de la página Rel 7 como verificada
• 20:59 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 190 de la página Rel 6 como verificada
• 20:58 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 189 de la página Rel 5 como verificada
• 20:57 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 188 de la página Rel 4 como verificada
• 20:56 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 187 de la página Rel 2 como verificada
• 20:55 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 186 de la página Rel 1 como verificada
• 20:54 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 185 de la página Ejercicios como verificada
• 20:53 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 184 de la página Ejercicios como verificada
• 20:52 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 183 de la página Ejercicios como verificada
• 20:52 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 182 de la página Ejercicios como verificada
• 20:48 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 181 de la página Rel 3 como verificada
• 20:47 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 180 de la página Ejercicios como verificada
• 20:40 18 nov 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 179 de la página Ejercicios como verificada
• 11:25 3 jun 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 178 de la página Tema 15(c): interpretaciones locales. como verificada
• 09:06 25 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 177 de la página Tema 15(a): sustitución de parámetros. como verificada
• 09:05 25 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 176 de la página Tema 15(b): sustitución de definiciones. como verificada
• 09:04 25 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 175 de la página Tema 15(c): interpretaciones locales. como verificada
• 09:03 25 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 174 de la página Temas como verificada
• 09:02 25 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 173 de la página Tema 15(c) como verificada
• 09:01 25 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 172 de la página Tema 15(b) como verificada
• 09:00 25 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 171 de la página Tema 15(a) como verificada
• 08:59 25 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 170 de la página Tema 14: Razonamiento modular (II): Órdenes y retículos. como verificada
• 08:57 25 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 169 de la página Temas como verificada
• 08:56 25 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 168 de la página Temas como verificada
• 08:55 25 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 167 de la página Temas como verificada
• 11:12 17 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 166 de la página Tema 13: Razonamiento modular (I): Teoría de grupos. como verificada
• 11:11 17 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 165 de la página Tema 13: Razonamiento modular (I): Teoría de grupos. como verificada
• 11:10 17 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 164 de la página Temas como verificada
• 18:23 3 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 163 de la página Relación 8 como verificada
• 18:22 3 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 162 de la página R8 como verificada
• 18:21 3 may 2015 Mjoseh (discusión | contribuciones) protegió la página R7 ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 18:21 3 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 160 de la página Ejercicios como verificada
• 18:21 3 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 159 de la página Relación 7 como verificada
• 18:21 3 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 158 de la página R7 como verificada
• 18:19 3 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 157 de la página Ejercicios como verificada
• 18:16 3 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 156 de la página Tema 12: Definiciones inductivas en Isabelle/HOL. Caso de estudio: clausura reflexiva transitiva. como verificada
• 18:15 3 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 155 de la página Tema 12: Definiciones inductivas en Isabelle/HOL. Caso de estudio: clausura reflexiva transitiva. como verificada
• 18:14 3 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 154 de la página Temas como verificada
• 18:14 3 may 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 153 de la página Temas como verificada
• 12:20 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 150 de la página Trabajos como verificada
• 12:19 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 149 de la página T1 3 como verificada
• 12:18 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 148 de la página T1 2 como verificada
• 12:18 13 abr 2015 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 147 de la página T1 1 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