projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Mon, 14 May 2012 16:41:07 +0000 (16:41 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Mon, 14 May 2012 16:41:07 +0000 (16:41 +0000) | ||
| commit | 1c878b2e2fcdc1d61c9604741f2c8f22e8cfee8a | |
| tree | 925c9b6a15017ffb317a78f4a830e99c392d4a6b | tree | snapshot |
| parent | 8a286363f7fcabf364d99bf4ef2d6198d8b38db9 | commit | diff |
| matita/matita/lib/turing/universal/copy.ma | [new file with mode: 0644] | blob |
| matita/matita/lib/turing/universal/tuples.ma | diff | blob | history |