]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f973cb2) | patch
More stuff integrated from CerCo on sigma types (that are now a record)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 Dec 2011 10:44:50 +0000 (10:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 Dec 2011 10:44:50 +0000 (10:44 +0000)
commit7d6ce585b85cd390b7888a8debfeb1b8aaf93f72
tree78e48f6fc369bf8f568d9f9d0548d842e11d02b1tree | snapshot
parentf973cb2c6d6f7fffc5e3263fe5acc5507292458ecommit | diff
More stuff integrated from CerCo on sigma types (that are now a record)
and option.
matita/matita/lib/basics/lists/list.ma diff | blob | history
matita/matita/lib/basics/types.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.