]> matita.cs.unibo.it Git - helm.git/commit
Match machine (multi)
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 16 Nov 2012 17:03:13 +0000 (17:03 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 16 Nov 2012 17:03:13 +0000 (17:03 +0000)
commit53656d48b302c50e775159dc62e56cd7b1550676
treeab929711bf40c3eab8fbc16b4d34bee3d197d738
parent1a054f8c2ca1590cab8d335749a10e2ed13a11eb
Match machine (multi)
matita/matita/lib/turing/basic_machines.ma
matita/matita/lib/turing/inject.ma
matita/matita/lib/turing/multi_universal/match.ma
matita/matita/lib/turing/turing.ma