]> matita.cs.unibo.it Git - helm.git/commit
porting to machine that can move without writing
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 8 Jan 2013 09:16:34 +0000 (09:16 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 8 Jan 2013 09:16:34 +0000 (09:16 +0000)
commit3f37ee83ce3c43f34d38729d192e72510f998a53
tree4bf5154a3eb4f2f7e11c1d3c8a1251e2928d1bbd
parent0c20479c04748438ccdba89a8f11d68c52012c92
porting to machine that can move without writing
matita/matita/lib/turing/inject.ma
matita/matita/lib/turing/mono.ma
matita/matita/lib/turing/multi_universal/compare.ma
matita/matita/lib/turing/multi_universal/copy.ma
matita/matita/lib/turing/multi_universal/match.ma
matita/matita/lib/turing/multi_universal/moves.ma
matita/matita/lib/turing/multi_universal/par_test.ma
matita/matita/lib/turing/turing.ma