Floris van Doorn ad5cda48a8 refactor(hott): move cubical folder and files eq2, function and hprop_trunc from types/ to the root HoTT directory		2015-08-07 13:34:41 -07:00
..
int	refactor(hott): fix "sorry"s at int/basic.hlean, and comment the remaining "sorry"s	2015-07-27 08:34:11 -07:00
nat
arrow.hlean
bool.hlean
default.hlean	refactor(hott): move cubical folder and files eq2, function and hprop_trunc from types/ to the root HoTT directory	2015-08-07 13:34:41 -07:00
eq.hlean
equiv.hlean	refactor(hott): move cubical folder and files eq2, function and hprop_trunc from types/ to the root HoTT directory	2015-08-07 13:34:41 -07:00
fiber.hlean
pi.hlean
pointed.hlean
prod.hlean
sigma.hlean
sum.hlean
trunc.hlean	refactor(hott): move cubical folder and files eq2, function and hprop_trunc from types/ to the root HoTT directory	2015-08-07 13:34:41 -07:00
types.md	refactor(hott): move cubical folder and files eq2, function and hprop_trunc from types/ to the root HoTT directory	2015-08-07 13:34:41 -07:00
unit.hlean
W.hlean