@PSC_ReadMe_7308_3.txt
utm-1-0/
utm-1-0/demo/
utm-1-0/demo/add1.tm
utm-1-0/demo/add1_w1.tm
utm-1-0/demo/add1_w2.tm
utm-1-0/demo/add1_w3.tm
utm-1-0/demo/add1_w4.tm
utm-1-0/demo/add1_w5.tm
utm-1-0/demo/add2.tm
utm-1-0/demo/add2_w0.tm
utm-1-0/demo/add2_w1.tm
utm-1-0/demo/add2_w2.tm
utm-1-0/demo/add2_w3.tm
utm-1-0/demo/add2_w4.tm
utm-1-0/demo/add2_w5.tm
utm-1-0/demo/add2_w6.tm
utm-1-0/demo/howto.inf
utm-1-0/demo/info.inf
utm-1-0/demo/Makefile
utm-1-0/howto
utm-1-0/license.gpl
utm-1-0/readme
utm-1-0/src/
utm-1-0/src/codes.cpp
utm-1-0/src/codes.h
utm-1-0/src/common.cpp
utm-1-0/src/common.h
utm-1-0/src/comp-t2u.cpp
utm-1-0/src/comp-t2u.h
utm-1-0/src/defs.h
utm-1-0/src/macro.h
utm-1-0/src/main-t2u.cpp
utm-1-0/src/main-utm.cpp
utm-1-0/src/Makefile
utm-1-0/src/rules.cpp
utm-1-0/src/rules.h
utm-1-0/src/rules.utm
utm-1-0/src/run.cpp
utm-1-0/src/run.h
utm-1-0/src/service.cpp
utm-1-0/src/service.h
utm-1-0/src/states.utm
utm-1-0/src/symbols.utm
utm-1-0/src/tape.cpp
utm-1-0/src/tape.h
utm-1-0/src/turing-u.cpp
utm-1-0/src/turing-u.h
utm-1-0/src/version.cpp
utm-1-0/src/version.h