projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Tue, 15 May 2012 09:56:18 +0000 (09:56 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Tue, 15 May 2012 09:56:18 +0000 (09:56 +0000) | ||
| commit | ed36a3d3f81cf251c41bbe1d208376bb0709c600 | |
| tree | aedb354fa71ec31254e00a681254762ea40ca542 | tree | snapshot |
| parent | 1c878b2e2fcdc1d61c9604741f2c8f22e8cfee8a | commit | diff |
| matita/matita/lib/turing/universal/copy.ma | diff | blob | history | |
| matita/matita/lib/turing/universal/universal.ma | [new file with mode: 0644] | blob |