]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 596896a) | patch
Dependent pairs (i.e. Sigma types in Type[0]) are back, but are not the default
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 Dec 2011 15:10:12 +0000 (15:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 Dec 2011 15:10:12 +0000 (15:10 +0000)
commitdc35589f8448d6a7bd803992e918acc7b720e7fb
tree71129ebe7dd609e75fc076ce1a950f962738c443tree | snapshot
parent596896aaf7158f90a96c3220e4a8f0a420f593d6commit | diff
Dependent pairs (i.e. Sigma types in Type[0]) are back, but are not the default
ones.
matita/matita/lib/basics/types.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.