]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b51cf7) | patch
match
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 23 Nov 2012 17:53:28 +0000 (17:53 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 23 Nov 2012 17:53:28 +0000 (17:53 +0000)
commit23cb3f65221975cb1a096d5287e4a620118eb2c0
tree88682cedfc7553d8269fc4a4cc8b08b4d245b313tree | snapshot
parent2b51cf74b9a5f37d0f91780ceae4b8f4d0ee38a1commit | diff
match
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.