Def Turing.TM2to1.trStAct

Modification history