]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 27 Feb 2014 12:40:13 +0000 (12:40 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Thu, 27 Feb 2014 12:40:13 +0000 (12:40 +0000) | ||
commit | 90dd88139a78b4dd650d5c462ecf602bf4813cd4 | |
tree | 74d2287581816b1c17bf0166321d421da6e5125d | tree | snapshot |
parent | 9dc1381d33c3040062c465639ad736caae57de42 | commit | diff |
matita/matita/lib/hott/Overture.ma | [new file with mode: 0644] | blob |
matita/matita/lib/hott/PathGroupoids.ma | [new file with mode: 0644] | blob |
matita/matita/lib/hott/notations.ma | [new file with mode: 0644] | blob |
matita/matita/lib/hott/pts.ma | [new file with mode: 0644] | blob |
matita/matita/lib/hott/types.ma | [new file with mode: 0644] | blob |