]> matita.cs.unibo.it Git - helm.git/commit
Porting to the new defintion of finset
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 25 May 2012 08:59:21 +0000 (08:59 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 25 May 2012 08:59:21 +0000 (08:59 +0000)
commit75bf98d7d7a16ff8ce2c530e718809e2bc331568
tree820f819e72fd9a579be5a13d017e10cd6bd0b0b8
parent30172d86a0cd979e44ae3343655f6ce55043dd52
Porting to the new defintion of finset
matita/matita/lib/turing/if_machine.ma
matita/matita/lib/turing/mono.ma
matita/matita/lib/turing/universal/alphabet.ma
matita/matita/lib/turing/universal/marks.ma
matita/matita/lib/turing/universal/tests.ma
matita/matita/lib/turing/universal/tuples.ma