]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e58a164) | patch
Restoring and fixing the old version
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 23 Nov 2012 08:43:05 +0000 (08:43 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 23 Nov 2012 08:43:05 +0000 (08:43 +0000)
commitd64a1790db147a15917f3c999dc5b35211dc5b56
tree3391b6824546d5d9346372883bd7a4388528993ctree | snapshot
parente58a16408ecab0cdea0be912b9691ae03acdcc3bcommit | diff
Restoring and fixing the old version
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.