projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 17 May 2012 16:34:03 +0000 (16:34 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 17 May 2012 16:34:03 +0000 (16:34 +0000) | ||
| commit | ceb81586cd493164f9c980c4f97ed0b4dbc6f545 | |
| tree | c67d3e16f152d8a579983a031d4d8b1279557840 | tree | snapshot |
| parent | 64a59f1d6a60237ad78234f2bf90c0e5eb8c89ce | commit | diff |
| matita/matita/lib/turing/universal/uni_step.ma | diff | blob | history |