projects / helm.git / commit
| 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 |