]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f08d4f) | patch
wsem_match finished
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 14 Jan 2013 15:47:08 +0000 (15:47 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 14 Jan 2013 15:47:08 +0000 (15:47 +0000)
commit292ea72d5160e31b8516fe7dfd92bb9e487db9fc
tree73caf5c2ed5650ac90270ab7d6ca23e3486fb3a3tree | snapshot
parent0f08d4f03129147e75fe91fd850249d5e8e09ac8commit | diff
wsem_match finished
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.