projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 14 Jan 2013 10:36:34 +0000 (10:36 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 14 Jan 2013 10:36:34 +0000 (10:36 +0000) | ||
| commit | 723514507b1e2e58c0a8c7bcc39c5d1301b910bc | |
| tree | 186cf1b0b409b8ccc4f2247e6f6b8ea495b57ef2 | tree | snapshot |
| parent | 04cca085e96987e43b58f001bc8af317eb427ff2 | commit | diff |
| matita/matita/lib/turing/turing.ma | diff | blob | history |