projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 28 May 2012 14:02:42 +0000 (14:02 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 28 May 2012 14:02:42 +0000 (14:02 +0000) | ||
| commit | 2df6c35032e7c99cfb734d110a91ddf0f39601ad | |
| tree | 760a5e03029f28dadabbee886684ccb078538715 | tree | snapshot |
| parent | 9a7e0697f0b305e4ba26b67c37681c434709509a | commit | diff |
| matita/matita/lib/turing/universal/move_tape.ma | diff | blob | history |