]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0d40dc) | patch
match
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 20 Nov 2012 16:49:23 +0000 (16:49 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 20 Nov 2012 16:49:23 +0000 (16:49 +0000)
commit99b0ce02ca6c016981b902574870ee9a74f9b60f
treea7e61e87ee62c1e175252beed8a34662e92b1183tree | snapshot
parente0d40dccaeadf0ebd924504e635228c9b8f33350commit | diff
match
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.