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.

• 13:24 29 mar 2011 Jalonso (discusión | contribuciones) protegió la página Tema 3: Deducción lógica proposicional con Isabelle ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)
• 13:24 29 mar 2011 Jalonso (discusión | contribuciones) marcó automáticamente la revisión 32 de la página Tema 3: Deducción lógica proposicional con Isabelle como verificada