add agda.sty, to be safe
[bitonic-mengthesis.git] / hurkens.ka
2013-06-10 Francesco Mazzoli...