]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d64a179) | patch
work in progress
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 23 Nov 2012 12:32:32 +0000 (12:32 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 23 Nov 2012 12:32:32 +0000 (12:32 +0000)
commitafd1e4522f61a72711ed822267c5ca86a3eb6d63
treeaf4abe784e36c4b4be9082587a5c6f0ededed53etree | snapshot
parentd64a1790db147a15917f3c999dc5b35211dc5b56commit | diff
work in progress
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.