]>
author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
Wed, 30 May 2012 09:11:08 +0000 (09:11 +0000) | ||
committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
Wed, 30 May 2012 09:11:08 +0000 (09:11 +0000) | ||
commit | fdefd9fece874ef60fffa68ed844b009b9cd08c7 | |
tree | baf47f353847eec1b767500840fe29d1107e6cd4 | tree | snapshot |
parent | 45ab745cdc286db123f9811adef343c9178c28de | commit | diff |
matita/matita/lib/turing/universal/tuples.ma | diff | blob | history | |
matita/matita/lib/turing/universal/uni_step.ma | diff | blob | history |