]>
author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
Thu, 17 May 2012 16:33:59 +0000 (16:33 +0000) | ||
committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
Thu, 17 May 2012 16:33:59 +0000 (16:33 +0000) | ||
commit | 64a59f1d6a60237ad78234f2bf90c0e5eb8c89ce | |
tree | e1c489cfc35d3cd6e5ae749392a109b734fd1b6d | tree | snapshot |
parent | 5f5d74726335a0b5b9b2ec905808e60c5d0e1032 | commit | diff |
matita/matita/lib/turing/universal/copy.ma | diff | blob | history |