]> matita.cs.unibo.it Git - helm.git/commit
more porting to machines that can move without writing
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 8 Jan 2013 12:03:01 +0000 (12:03 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 8 Jan 2013 12:03:01 +0000 (12:03 +0000)
commitb31ab31a99065295b91003a0df95dec817cee5de
tree36038df1974c60c529f4cdae5aed93ef79fa97ee
parentc460dc2c764c678778095d3ff210c7915eb07ef1
more porting to machines that can move without writing
matita/matita/lib/turing/inject.ma
matita/matita/lib/turing/multi_universal/compare.ma
matita/matita/lib/turing/multi_universal/match.ma
matita/matita/lib/turing/multi_universal/moves.ma
matita/matita/lib/turing/multi_universal/moves_2.ma
matita/matita/lib/turing/multi_universal/par_test.ma
matita/matita/lib/turing/turing.ma