Vista combinada de todos los registros de Demostración asistida por ordenador (2011-12). 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.

• 15:33 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 46 de la página Ejercicios del tema 4 como verificada
• 15:33 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 45 de la página Tema 4 ej como verificada
• 15:33 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 44 de la página Ejercicios como verificada
• 15:28 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 43 de la página Tema 4: Deducción natural en lógica de primer orden con Isabelle como verificada
• 15:27 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 42 de la página Tema 4: Deducción natural en lógica de primer orden con Isabelle como verificada
• 15:26 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 41 de la página Tema 4: Deducción natural en lógica de primer orden con Isabelle como verificada
• 15:25 14 abr 2011 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 40 de la página Temas como verificada
• 12:34 14 abr 2011 Se ha creado la cuenta de usuario Mjoseh (discusión | contribuciones)