]> matita.cs.unibo.it Git - helm.git/commit
compare
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 20 Nov 2012 12:14:17 +0000 (12:14 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 20 Nov 2012 12:14:17 +0000 (12:14 +0000)
commit11daf1ea77fb51f8c9218957b2b912d4dbdc662a
tree00ac32dbd35862938ff212c73c17fe168cd6c458
parent53656d48b302c50e775159dc62e56cd7b1550676
compare
matita/matita/lib/turing/multi_universal/match.ma