disc/first.tex: sort of finished
disc/second.tex: second draft, fed with contents of first
disc/second.tex: more changes
disc/disc.bib bibtex file for disc maths
header: theorem numbering set to follow sections, not subs
Bunch of papers related to disc maths