Coherent intro to Cauchy reals, and do not say 'choose' if there is no choice used...
Making piece with lambdas
Dedekind reals, first draft complete
Merge branch 'master' of github.com:HoTT/book
Why were latex files in Makefile TAGS target listed explicitly? If there are garbage latex files, they should be cleaned up anyway