]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4f2412) | patch
Progress in semantics of the copy machine.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 18 May 2012 10:31:48 +0000 (10:31 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 18 May 2012 10:31:48 +0000 (10:31 +0000)
commita1607a9e8140658889cb964b004d22cdd8d9f61d
tree6199ca331d9369542f9242a356cf28ab467fe601tree | snapshot
parentc4f24127fe0e4620b6aac4a0c60ad30a106c8ab4commit | diff
Progress in semantics of the copy machine.
matita/matita/lib/turing/universal/copy.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.