]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: afd1e45) | patch
compare
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 23 Nov 2012 15:47:46 +0000 (15:47 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 23 Nov 2012 15:47:46 +0000 (15:47 +0000)
commitb6f613c3b278e2a329cd728c2273f187503f0ef2
tree152507127bcc47331ad3e8e9de8b2243c5b54b41tree | snapshot
parentafd1e4522f61a72711ed822267c5ca86a3eb6d63commit | diff
compare
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.