projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 28 Jan 2013 17:14:23 +0000 (17:14 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 28 Jan 2013 17:14:23 +0000 (17:14 +0000) | ||
| commit | 38c81062ae1aedf89d426d5dcd9a27824c4b0fb0 | |
| tree | 466838ef48f4417bbc4098b610b1886e5d18490f | tree | snapshot |
| parent | 48156992897451deb6e7ee9044747d9c11723b03 | commit | diff |
| matita/matita/lib/turing/multi_universal/tuples.ma | diff | blob | history |