projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Sun, 3 Nov 2013 21:29:35 +0000 (21:29 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Sun, 3 Nov 2013 21:29:35 +0000 (21:29 +0000) | ||
| commit | d6b8021e8c83eb19033cad0aeaeebf95b327e78a | |
| tree | c27e75477382c0b3bd7cf033e2feb22512e20bca | tree | snapshot |
| parent | 54ead148d2223a850f58b4ca9eb60abeeaab492a | commit | diff |
| matita/matita/lib/turing/multi_universal/binaryTM.ma | diff | blob | history |