Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 yıl önce
..
Crash.agda 7309111183 meta variable talk 18 yıl önce
Examples.agda 7309111183 meta variable talk 18 yıl önce
Makefile 7bd8f15ebf template for meta variable talk 18 yıl önce
Plus.agda 7309111183 meta variable talk 18 yıl önce
danger_do_not_open_until.eps 7309111183 meta variable talk 18 yıl önce
danger_do_not_open_until.jpg 7309111183 meta variable talk 18 yıl önce
proof.sty 7bd8f15ebf template for meta variable talk 18 yıl önce
talk.tex 7309111183 meta variable talk 18 yıl önce