]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75bf98d) | patch
Progress
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 25 May 2012 16:15:31 +0000 (16:15 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 25 May 2012 16:15:31 +0000 (16:15 +0000)
commitb6ba48fc7877871aaaf9f8af415f60420d382f18
tree799bd107ffe3372e22bd7129acff9c6153c53169tree | snapshot
parent75bf98d7d7a16ff8ce2c530e718809e2bc331568commit | diff
Progress
matita/matita/lib/turing/universal/tuples.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.