more progress
authorFrancesco Mazzoli <f@mazzo.li>
Wed, 22 May 2013 18:17:05 +0000 (19:17 +0100)
committerFrancesco Mazzoli <f@mazzo.li>
Wed, 22 May 2013 18:17:05 +0000 (19:17 +0100)
commitffb60695dd2d6f69ba6ede6a85efdaded91db951
tree90630bafaad9bfc39117187a7fab69ae3b619ff9
parent5bbbffc580f28704da849395f8fc722e01cc1c45
more progress
Makefile
thesis.bib
thesis.lagda