]> git.rustad.me Git - master/commit
Nomenclature and stuff
authorBjørn Rustad <bjorn@rustad.me>
Mon, 8 Dec 2014 14:31:01 +0000 (15:31 +0100)
committerBjørn Rustad <bjorn@rustad.me>
Mon, 8 Dec 2014 14:31:01 +0000 (15:31 +0100)
commitfaa8c92e9bd537a23b5b705fd50fe0578632ce86
treed6d46cdc0b2f20b068dacff9cdaa96adc03172d2
parent91028d5367a6b64b6a392654641d722396e47338
Nomenclature and stuff
Makefile
fig/area_proof.tex
introduction.tex
main.tex
theory.tex