Davide Grossi inserted section_An_application_to_liquid__.tex into layout  about 8 years ago

Commit id: da2a560c934b55945d5757069a8e4226d7182cf4

deletions | additions      

       

section_Convergence_When_do_the__.tex  section_Fixpoint_Logics_for_Boolean__.tex  section_Colorability_subsection_STABILITY_and__.tex  section_An_application_to_liquid__.tex  section_Conclusions_ldots_paragraph_Acknowledgments__.tex  appendix_section_Irrational_individuals_Theoretically__.tex