Revisión del 23:57 1 mar 2011 (ver código) Jalonso (discusión \| contribuciones) (Página creada con '* Tema 1: Isabelle como un lenguaje funcional. * Tema 2: Razonamiento sobre programas.')	Revisión del 00:05 2 mar 2011 (ver código) Jalonso (discusión \| contribuciones) m (Protegió «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) Edición siguiente →
(Sin diferencias)

Diferencia entre revisiones de «Temas»

Revisión del 00:05 2 mar 2011