Def Turing.TM2to1.tr

Modification history