]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a63ba2) | patch
Added kind signatures to data declaration.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Aug 2012 09:08:42 +0000 (09:08 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Aug 2012 09:08:42 +0000 (09:08 +0000)
commit8000ab22be387fa49b15065c27382eeef28802cb
tree78a6b1f3dc9936909e007a7bdc7b1e754b24573ftree | snapshot
parent9a63ba27eb9b9b78b2745c85828416de316c063fcommit | diff
Added kind signatures to data declaration.
matita/components/ng_kernel/nCicExtraction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.