projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 21 Jan 2013 12:50:06 +0000 (12:50 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 21 Jan 2013 12:50:06 +0000 (12:50 +0000) | ||
| commit | 3a9c3c16e7c7e3a35640a0afa53f044a4f87ed65 | |
| tree | 559300182826cfc284b1bf9f26022a7986859d87 | tree | snapshot |
| parent | 76a993b80bb33d1075f84c55637ca1897644b16a | commit | diff |
| matita/matita/lib/turing/multi_universal/unistep_aux.ma | diff | blob | history | |
| matita/matita/lib/turing/multi_universal/universal.ma | [new file with mode: 0644] | blob |