projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Tue, 13 Nov 2012 17:21:18 +0000 (17:21 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Tue, 13 Nov 2012 17:21:18 +0000 (17:21 +0000) | ||
| commit | a65954f21801bbab140a4978ca3638bc434dc82b | |
| tree | 34773cecf0b43b4d939553163d4dcf8b7e7af242 | tree | snapshot |
| parent | aa0fefefb9a2911739877f20897e00e16f7d3fd7 | commit | diff |
| matita/matita/lib/turing/multi_universal/copy.ma | [new file with mode: 0644] | blob |
| matita/matita/lib/turing/multi_universal/defs.ma | [new file with mode: 0644] | blob |