README.md
setup.py
folpy/__init__.py
folpy.egg-info/PKG-INFO
folpy.egg-info/SOURCES.txt
folpy.egg-info/dependency_links.txt
folpy.egg-info/top_level.txt
folpy/examples/__init__.py
folpy/examples/lattices.py
folpy/examples/posets.py
folpy/semantics/__init__.py
folpy/semantics/algebras.py
folpy/semantics/classes.py
folpy/semantics/congruences.py
folpy/semantics/modelfunctions.py
folpy/semantics/models.py
folpy/semantics/morphisms.py
folpy/semantics/theories.py
folpy/syntax/__init__.py
folpy/syntax/formulas.py
folpy/syntax/terms.py
folpy/syntax/types.py
folpy/utils/__init__.py
folpy/utils/functions.py
folpy/utils/misc.py
folpy/utils/minion/__init__.py
folpy/utils/minion/minion
folpy/utils/minion/minion.py