projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Sat, 12 Oct 2013 10:26:02 +0000 (10:26 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Sat, 12 Oct 2013 10:26:02 +0000 (10:26 +0000) | ||
| commit | 15158ce1b220fb89ba994981add8bcb2c8d6e199 | |
| tree | 5428298e4dbdd3b5a94a7cfad7ddd0f005559956 | tree | snapshot |
| parent | f32e6e555cb3da6c96be531c3dc2c1489d016c47 | commit | diff |
| matita/matita/lib/turing/multi_to_mono.ma | [deleted file] | blob | history |
| matita/matita/lib/turing/multi_to_mono/multi_to_mono.ma | [new file with mode: 0644] | blob |