Cross-Reference Redirection

Table of Contents

1.	Part 1: merge sort, and a proof that it sorts
2.	Part 2: make it fast, keep the proof
3.	Part 3: Vec::sort territory
4.	Appendix: reproducing and pitfalls