]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 302d83e) | patch
splitting files
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 27 Nov 2012 07:29:20 +0000 (07:29 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 27 Nov 2012 07:29:20 +0000 (07:29 +0000)
commit0b5cf203f54518bfa59b05a3567138ea64d1f6f5
tree532e74cdb234b022f904cf8a17238a3e8ae3d0dftree | snapshot
parent302d83e414e27210fbfbc1de4d213786d9580e23commit | diff
splitting files
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.