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.

• 10:41 9 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 254 de la página Tema 17: Lógica de Hoare en Isabelle/HOL. como verificada
• 11:27 1 feb 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 245 de la página Tema 17: Lógica de Hoare en Isabelle/HOL. como verificada
• 13:31 26 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 242 de la página Tema 17: Lógica de Hoare en Isabelle/HOL. como verificada
• 13:31 26 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 241 de la página Tema 17: Lógica de Hoare en Isabelle/HOL. como verificada
• 13:30 26 ene 2016 Mjoseh (discusión | contribuciones) marcó automáticamente la revisión 240 de la página Tema 17: Lógica de Hoare en Isabelle/HOL. como verificada