projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 17 Jan 2013 12:59:25 +0000 (12:59 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 17 Jan 2013 12:59:25 +0000 (12:59 +0000) | ||
| commit | 1f740f74d94187a2376228a86faf79ea949c0dff | |
| tree | 3d2c3e620b4e919a01b39e936fe1251d8465a010 | tree | snapshot |
| parent | ecf5a379cf6b646426f296c9a33d4ee0e5b2d04a | commit | diff |
| matita/matita/lib/turing/multi_universal/alphabet.ma | diff | blob | history | |
| matita/matita/lib/turing/multi_universal/normalTM.ma | [new file with mode: 0644] | blob |
| matita/matita/lib/turing/multi_universal/tuples.ma | [new file with mode: 0644] | blob |