projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 25 Jan 2013 23:18:36 +0000 (23:18 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 25 Jan 2013 23:18:36 +0000 (23:18 +0000) | ||
| commit | 9956360248d4d6cda67fb1363de22097ccaed533 | |
| tree | ac169e284d46f08af0b99253314784ef32d5a960 | tree | snapshot |
| parent | a1dd5e64f21738a3f9ee1f635affeb9033e90954 | commit | diff |
| matita/matita/lib/turing/multi_universal/unistep.ma | [new file with mode: 0644] | blob |
| matita/matita/lib/turing/multi_universal/unistep_aux.ma | diff | blob | history |