Orbit equivalence of Cantor minimal systems: A survey and a new proof

We give a new proof of the classification, up to topological orbit equivalence, of minimal AF-equivalence relations and minimal actions of the group of integers on the Cantor set. This proof relies heavily on the structure of AF-equivalence relations and the theory of dimension groups; we give a short survey of these topics.