Index of /Voevodsky/files/files-annotated/Dropbox/For_the_web_site

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[DIR]Articles_with_social..>2018-02-14 14:03 -  
[ ]Bonn_talk.pdf 2010-09-14 16:15 36KPDF document file
[ ]Bonn_talk.tex 2010-09-14 16:15 6.6KTeX source file
[ ]Bonn_talk_coq.pdf 2010-09-14 17:12 26KPDF document file
[TXT]CMU_talk.bbl 2010-02-03 09:37 1.1KTeX bibliography items -- bibtex output, latex input
[ ]CMU_talk.pdf 2010-02-09 18:15 132KPDF document file
[ ]CMU_talk.tex 2010-02-09 18:15 25KTeX source file
[DIR]Foundations/ 2018-02-14 13:55 -  
[ ]Hlambda_short_curren..>2009-11-13 11:44 183KPDF document file
[ ]Hlambda_short_curren..>2009-11-13 09:47 36KTeX source file
[DIR]Univalent_foundation..>2018-02-14 14:03 -  
[ ]alggeom.bib 2010-09-14 11:25 79KTeX bibliography items -- bibtex input
[ ]bk1.pdf 2010-02-14 20:01 71KPDF document file
[ ]bk1.tex 2010-02-14 20:01 8.8KTeX source file
[ ]bk2.bbl 2010-09-14 11:27 471 TeX bibliography items -- bibtex output, latex input
[ ]bk2.pdf 2010-09-14 11:27 42KPDF document file
[ ]bk2.tex 2010-09-14 11:27 4.4KTeX source file
[TXT]bonn_talk.v 2010-09-14 17:13 5.4KCoq proof file
[ ]expressions_current.pdf2010-08-24 09:06 374KPDF document file
[TXT]mitcv09_bibl.bbl 2010-07-19 12:54 10KTeX bibliography items -- bibtex output, latex input
[ ]mitcv09_bibl.pdf 2010-07-19 12:54 71KPDF document file
[ ]mitcv09_bibl.tex 2010-02-09 14:43 3.5KTeX source file
[ ]mitcv10.pdf 2010-02-09 14:51 48KPDF document file
[ ]mitcv10.tex 2010-02-09 14:51 3.7KTeX source file
[ ]univalent_foundation..>2015-04-02 13:33 234KPDF document file