UnicodeNotations.v
folds_precat.v
from_precats_to_folds_and_back.v
folds_isomorphism.v
folds_pre_2_cat.v


