projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 18 Jan 2013 10:32:00 +0000 (10:32 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 18 Jan 2013 10:32:00 +0000 (10:32 +0000) | ||
| commit | b2e4273cdfa45add6110a81626dcb3e25928a0d4 | |
| tree | 59e5f63357fc2f2c2e9eaf7b3508ee9bc085761d | tree | snapshot |
| parent | fb2e8dec0355fff87420b587dd091a372f1f7b7c | commit | diff |
| matita/matita/lib/turing/multi_universal/alphabet.ma | diff | blob | history | |
| matita/matita/lib/turing/multi_universal/unistep_aux.ma | diff | blob | history |