beautified λTR, coqdocs html included
clean up