projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 12 Jun 2012 15:34:13 +0000 (15:34 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 12 Jun 2012 15:34:13 +0000 (15:34 +0000) | ||
| commit | c31d09808ffd3866e984c009eb8fc6930fa5e7dc | |
| tree | 63d79a10d9640025758f2c9f6a6bfec38430a16a | tree | snapshot |
| parent | 31cb2f0b374657eb5acb95708443e2c1b8481891 | commit | diff |
| matita/matita/lib/turing/universal/match_machines.ma | [new file with mode: 0644] | blob |
| matita/matita/lib/turing/universal/trans_to_tuples.ma | [deleted file] | blob | history |
| matita/matita/lib/turing/universal/universal.ma | diff | blob | history |