projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 7 Nov 2012 16:59:25 +0000 (16:59 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Wed, 7 Nov 2012 16:59:25 +0000 (16:59 +0000) | ||
| commit | 64207d0b4d80bcedcfbae0526ce635e993f027a7 | |
| tree | c23621b659c21c7f86c9deaac2ea9421267fd01d | tree | snapshot |
| parent | 23c056d7fb7269f952a02aad1cac8e400d2653b0 | commit | diff |
| matita/matita/lib/turing/turing.ma | diff | blob | history |