_CoqProject

-R ollibs ""
-R microyalla ""
-R yalla ""

ollibs/AFC.v
ollibs/Bool_more.v
ollibs/CEqualities.v
ollibs/COrders.v
ollibs/CPermutation_solve.v
ollibs/CPermutation_Type_solve.v
ollibs/CyclicPerm_Type.v
ollibs/CyclicPerm.v
ollibs/flat_map_Type_more.v
ollibs/fmsetlist_Type.v
ollibs/fmsetlist.v
ollibs/fmsetoidlist_Type.v
ollibs/fmsetoidlist.v
ollibs/genperm_Type.v
ollibs/genperm.v
ollibs/Injective.v
ollibs/List_more.v
ollibs/List_Type_more.v
ollibs/List_Type.v
ollibs/nattree.v
ollibs/Permutation_more.v
ollibs/Permutation_solve.v
ollibs/Permutation_Type_more.v
ollibs/Permutation_Type_solve.v
ollibs/Permutation_Type.v
ollibs/Surjective.v
ollibs/Vector_more.v
ollibs/wf_nat_more.v
ollibs/wf_prod.v

microyalla/ill.v
microyalla/ll.v

yalla/basic_misc.v
yalla/bbb.v
yalla/fmformulas.v
yalla/fmiformulas.v
yalla/formulas.v
yalla/iformulas.v
yalla/ill_cut.v
yalla/ill_def.v
yalla/ill_prop.v
yalla/ill_smp.v
yalla/ill_vs_ll.v
yalla/isubs.v
yalla/lambek.v
yalla/ll_cut.v
yalla/ll_def.v
yalla/llfoc.v
yalla/ll_fragments.v
yalla/llpol.v
yalla/ll_prop.v
yalla/ll_smp.v
yalla/mell2.v
yalla/mell_msetoid.v
yalla/mell_mset.v
yalla/mell_Prop.v
yalla/nn_def.v
yalla/nn_foc.v
yalla/nn_prop.v
yalla/subs.v
yalla/tl.v
yalla/yalla_ax.v