]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a591f77) | patch
1) PSig and Sig merged into a single Sigma type in Prop.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 Dec 2011 13:47:28 +0000 (13:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 Dec 2011 13:47:28 +0000 (13:47 +0000)
commit596896aaf7158f90a96c3220e4a8f0a420f593d6
treeaa96e6b9fe14926a4724faf3277ed91587485080tree | snapshot
parenta591f77721b3d4fd83afe222aa7cb0a7dbcc994ecommit | diff
1) PSig and Sig merged into a single Sigma type in Prop.
2) One function in list.ma that required the Sigma type in Type has been
   removed.
matita/matita/lib/basics/lists/list.ma diff | blob | history
matita/matita/lib/basics/russell.ma diff | blob | history
matita/matita/lib/basics/types.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.