setup.py
termpy/__init__.py
termpy/ground.py
termpy/unification.py
termpy/unifyslice.py
termpy/util.py
termpy/variable.py
termpy.egg-info/PKG-INFO
termpy.egg-info/SOURCES.txt
termpy.egg-info/dependency_links.txt
termpy.egg-info/not-zip-safe
termpy.egg-info/top_level.txt