Name		Name	Last commit message	Last commit date
Latest commit History 105 Commits
Bou_CoInvent_bibliography.bib		Bou_CoInvent_bibliography.bib
Bou_CoInvent_bibliography.pdf		Bou_CoInvent_bibliography.pdf
Corneli_evaluation_bibliography.bib		Corneli_evaluation_bibliography.bib
README.md		README.md
background.tex		background.tex
conclusions.tex		conclusions.tex
diagrams.sty		diagrams.sty
evaluation.tex		evaluation.tex
hetcasl.sty		hetcasl.sty
iccc.bst		iccc.bst
iccc.sty		iccc.sty
ideal_colim.casl		ideal_colim.casl
ideal_colim.pp.short.tex		ideal_colim.pp.short.tex
ideal_colim.pp.tex		ideal_colim.pp.tex
infinity.tex		infinity.tex
introduction.tex		introduction.tex
mathsICCC.tex		mathsICCC.tex
mathsICCC_local.bib		mathsICCC_local.bib
other-issues.tex		other-issues.tex
other.tex		other.tex
papers.bib		papers.bib
prime-details.tex		prime-details.tex
prime.het		prime.het
prime.pp.tex		prime.pp.tex
prime.tex		prime.tex
transfin.tex		transfin.tex
transfin_nunez.jpg		transfin_nunez.jpg