]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 388c27d) | patch
Speed-up in match.ma.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 29 Jan 2013 11:47:42 +0000 (11:47 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 29 Jan 2013 11:47:42 +0000 (11:47 +0000)
commit225887a9f23aac79d4cca907da026917b7df04dc
tree6c5f8d149f867197076991e29b7128063253dd87tree | snapshot
parent388c27d3b8aab39c4c0d23b118b47f75144293d6commit | diff
Speed-up in match.ma.
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.