projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Tue, 28 Aug 2012 14:47:44 +0000 (14:47 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Tue, 28 Aug 2012 14:47:44 +0000 (14:47 +0000) | ||
| commit | 4d5f398cd2818b9eee57d6efdbb49a51d4a97a76 | |
| tree | d2b32ca93f6e217e84fbbab0846361a86660427e | tree | snapshot |
| parent | 631c6fe57fd0b63deb9592fd8f59c1821e7536db | commit | diff |
| matita/matita/lib/turing/universal/uni_step.ma | diff | blob | history |