LICENSE
MANIFEST.in
README.md
doc.md
requirements.txt
setup.cfg
setup.py
examples/Counter.tla
examples/README.md
examples/parsing_tla_expressions.py
examples/parsing_tla_modules.py
examples/syntax_tree_visitor.py
tests/README.md
tests/parser_test.py
tests/tlaps_lib_test.py
tla/__init__.py
tla/_combinators.py
tla/_error.py
tla/_expr_parser.py
tla/_intf.py
tla/_location.py
tla/_module_parser.py
tla/_optable.py
tla/_proof_parser.py
tla/_tla_combinators.py
tla/_version.py
tla/ast.py
tla/iter.py
tla/lex.py
tla/parser.py
tla/to_str.py
tla/tokens.py
tla/visit.py
tla.egg-info/PKG-INFO
tla.egg-info/SOURCES.txt
tla.egg-info/dependency_links.txt
tla.egg-info/requires.txt
tla.egg-info/top_level.txt