]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f37ee8) | patch
parmove based on end of the tape
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 8 Jan 2013 10:26:00 +0000 (10:26 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 8 Jan 2013 10:26:00 +0000 (10:26 +0000)
commitc460dc2c764c678778095d3ff210c7915eb07ef1
treef0f5fa542b149505aba658b74fc5ddcf6c014225tree | snapshot
parent3f37ee83ce3c43f34d38729d192e72510f998a53commit | diff
parmove based on end of the tape
matita/matita/lib/turing/multi_universal/moves_2.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.