projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 11 May 2012 11:59:16 +0000 (11:59 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 11 May 2012 11:59:16 +0000 (11:59 +0000) | ||
| commit | 9542046378dfbf3775dff54bcb26405961090c3a | |
| tree | c7ec67e68ac201728b962bf56d5d05d1dc4c9656 | tree | snapshot |
| parent | b14ce4adebec4078cf662290a7d611c1d54bf388 | commit | diff |
| matita/matita/lib/turing/universal/tuples.ma | diff | blob | history |