  We provide new and purely combinatorial proofs of two infinite extensions of
the Hales--Jewett theorem. The first one is due to T. Carlson and S. Simpson
and the second one is due T. Carlson. Both concern infinite increasing
sequences of finite alphabets.
