FunctorAlgebras_legacy.v
FunctorCoalgebras_legacy.v
FunctorCoalgebras_legacy_alt_UU.v

PolynomialFunctors.v
PolynomialAlgebras2Cells.v
ImpredicativeInductiveSets.v
SetBasedPolynomialFunctors.v
M/Core.v
M/Limits.v
M/Uniqueness.v
W/Core.v
W/Wtypes.v
W/WtypesAsW.v
W/Fibered.v
W/Naturals.v
W/Uniqueness.v
M/Chains.v
M/ComputationalM.v
M/MWithSets.v
M/FinalCoalgebraHSET.v
M/ComputationalMWithSets.v
M/BinaryBooleanMTrees.v
