projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Fri, 18 May 2012 16:30:03 +0000 (16:30 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Fri, 18 May 2012 16:30:03 +0000 (16:30 +0000) | ||
| commit | a3a9b55acdf874b76104d30ee730a29ef7ae63b4 | |
| tree | 7ece6518b7800788e7a31af3a9a353744f7ccc62 | tree | snapshot |
| parent | 06913146ad4e17070d27b6b0a08d48f14fefb188 | commit | diff |
| matita/matita/lib/turing/universal/uni_step.ma | diff | blob | history |