]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64a7521) | patch
advancement in match
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 14 Jan 2013 15:14:11 +0000 (15:14 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 14 Jan 2013 15:14:11 +0000 (15:14 +0000)
commit0f08d4f03129147e75fe91fd850249d5e8e09ac8
tree6c63db0a70002f74bec8b8888841fb99516a7a9etree | snapshot
parent64a752136a679bcab14a9cd01823c18b7cc991decommit | diff
advancement in match
matita/matita/lib/turing/multi_universal/compare.ma diff | blob | history
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.