projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Sat, 12 Oct 2013 13:30:44 +0000 (13:30 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Sat, 12 Oct 2013 13:30:44 +0000 (13:30 +0000) | ||
| commit | d10880b504902558609fc620d0a62bcf30ea912a | |
| tree | 3be25b009c9c9708dcf402fe3d261a9eabf7f07f | tree | snapshot |
| parent | 15158ce1b220fb89ba994981add8bcb2c8d6e199 | commit | diff |
| matita/matita/lib/turing/multi_to_mono/multi_to_mono.ma | diff | blob | history | |
| matita/matita/lib/turing/multi_to_mono/trace_alphabet.ma | [new file with mode: 0644] | blob |