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.

• 20:47 22 mar 2015 Mjoseh (discusión | contribuciones) protegió la página Tema 7: Programación funcional en Isabelle/HOL. ‎[edit=sysop] (indefinido) [move=sysop] (indefinido) (hist)