Acciones

Especial

Registro de borrados

A continuación se muestra una lista de los borrados más recientes.

Registros      

 

  • 19:33 7 nov 2013 Jalonso (discusión | contribuciones) borró la página Relación 1 (El contenido era: '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------- Ejercicio 1. Definir, por recursión, la función ...')