FormalSystemsMain.py
MANIFEST.in
README.rst
setup.cfg
setup.py
FormalSystems.egg-info/PKG-INFO
FormalSystems.egg-info/SOURCES.txt
FormalSystems.egg-info/dependency_links.txt
FormalSystems.egg-info/entry_points.txt
FormalSystems.egg-info/requires.txt
FormalSystems.egg-info/top_level.txt
formalsystems/OrderedSet.py
formalsystems/__init__.py
formalsystems/formalsystems.py
formalsystems/leplparsing.py
tests/test_formalsystems.py