projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 22 Jan 2013 12:21:58 +0000 (12:21 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 22 Jan 2013 12:21:58 +0000 (12:21 +0000) | ||
| commit | 3b280742956d9d62aab53dd81704c250e3befe91 | |
| tree | 463663023dd72822e12f3cf3894bdb382f162522 | tree | snapshot |
| parent | 9971fb3f00ed1d0749622afa8d0523e3e923a1a3 | commit | diff |
| matita/matita/lib/turing/multi_universal/universal.ma | diff | blob | history | |
| matita/matita/lib/turing/simple_machines.ma | [new file with mode: 0644] | blob |