Name		Name	Last commit message	Last commit date
Latest commit History 62 Commits
talk		talk
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
abs.txt		abs.txt
abstract.tex		abstract.tex
appendix.tex		appendix.tex
bcprules.sty		bcprules.sty
bibliography.bib		bibliography.bib
chapter1.tex		chapter1.tex
chapter2.tex		chapter2.tex
chapter3.tex		chapter3.tex
chapter4.tex		chapter4.tex
conclusion.tex		conclusion.tex
coqdoc.sty		coqdoc.sty
local.bib		local.bib
lstcoq.sty		lstcoq.sty
mold		mold
ntua-thesis.cls		ntua-thesis.cls
pgf-umlsd.sty		pgf-umlsd.sty
pyrforos.eps		pyrforos.eps
safe.bib		safe.bib
thesis.log.pulp		thesis.log.pulp
thesis.tex		thesis.tex