T2 Induccion.v
De DAO con Coq
T2_Induccion.v (tamaño de archivo: 32 KB; tipo MIME: text/plain)
Advertencia: este archivo puede contener código malicioso.
Ejecutarlo podría comprometer la seguridad de tu equipo.
Historial del archivo
Haz clic sobre una fecha/hora para ver el archivo a esa fecha.
| Fecha y hora | Dimensiones | Usuario | Comentario | |
|---|---|---|---|---|
| actual | 15:06 31 jul 2018 | (32 KB) | Jalonso (discusión | contribuciones) |
- No puedes sobrescribir este archivo.
Usos del archivo
La siguiente página enlaza a este archivo: