  Here are versions of the proofs of two classic theorems of combinatorial
topology. The first is the result that piecewise linearly homeomorphic
simplicial complexes are related by stellar moves. This is used in the proof,
modelled on that of Pachner, of the second theorem. This states that moves from
only a finite collection are needed to relate two triangulations of a piecewise
linear manifold.
