projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 18 May 2012 11:24:56 +0000 (11:24 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 18 May 2012 11:24:56 +0000 (11:24 +0000) | ||
| commit | 9b61b843c4938c57cd5712df0ec8cf6892c0f906 | |
| tree | 1db84b9a172ce4640210b7058d36f6e3e40491fc | tree | snapshot |
| parent | a1607a9e8140658889cb964b004d22cdd8d9f61d | commit | diff |
| matita/matita/lib/turing/universal/tuples.ma | diff | blob | history | |
| matita/matita/lib/turing/universal/uni_step.ma | diff | blob | history |