Cecilia Manzino (f23876e6) at 06 Dec 17:03
Replace typeSoundnessFI.agda
Alberto Pardo (172f2aff) at 05 Dec 13:03
addition of README
Alberto Pardo (2839bd26) at 05 Dec 13:00
addition of README
Alberto Pardo (e4b2f7c0) at 05 Dec 12:58
addition of README
Alberto Pardo (1b9cb26b) at 05 Dec 12:56
addition of README
Alberto Pardo (13482d73) at 05 Dec 12:47
addition of README
Cecilia Manzino (906e1d3e) at 29 Nov 23:02
version nueva
Cecilia Manzino (a3cd6fc6) at 29 Nov 23:01
version nueva
Alberto Pardo (27807be6) at 12 Jun 15:23
changes in typeSoundnessFI
Alberto Pardo (44012fcb) at 02 Jun 20:34
OLD files removed
Alberto Pardo (91418590) at 02 Jun 20:31
files removed
Alberto Pardo (76d5bfb0) at 02 Jun 20:25
new version of the repository
Alberto Pardo (a50b7572) at 02 Jun 20:19
move old repository to OLD.src
Alberto Pardo (d39e7936) at 07 Sep 16:58
updating type soundness and semantics
Alberto Pardo (44101849) at 09 Aug 23:08
agregado inicial de fuentes Agda