]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 93784f8) | patch
match
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 21 Nov 2012 09:05:44 +0000 (09:05 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 21 Nov 2012 09:05:44 +0000 (09:05 +0000)
commitc449d8972928eb8e6fcce842aeb388118c0c314e
treecce97a127c84c026b107c6c675b7f43404f9d0a8tree | snapshot
parent93784f891de6d7840646a963c964e8877b3b50b2commit | diff
match
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.