LICENSE
MANIFEST.in
README.md
pyproject.toml
coq_tools/Popen_noblock.py
coq_tools/__init__.py
coq_tools/absolutize_imports.py
coq_tools/admit_abstract.py
coq_tools/argparse_compat.py
coq_tools/argparse_py2.py
coq_tools/binding_util.py
coq_tools/coq_full_grammar.py
coq_tools/coq_running_support.py
coq_tools/coq_version.py
coq_tools/coqtop-as-coqc.sh
coq_tools/coqtop.bat
coq_tools/custom_arguments.py
coq_tools/diagnose_error.py
coq_tools/file_util.py
coq_tools/find_bug.py
coq_tools/generate-full-grammar.py
coq_tools/get_admitted_names.py
coq_tools/import_util.py
coq_tools/inline_imports.py
coq_tools/memoize.py
coq_tools/minimize_requires.py
coq_tools/minimizer_drivers.py
coq_tools/move_requires.py
coq_tools/move_vernaculars.py
coq_tools/proof_using_helper.py
coq_tools/replace_imports.py
coq_tools/split_definitions.py
coq_tools/split_definitions_old.py
coq_tools/split_file.py
coq_tools/strip_comments.py
coq_tools/strip_newlines.py
coq_tools/util.py
coq_tools.egg-info/PKG-INFO
coq_tools.egg-info/SOURCES.txt
coq_tools.egg-info/dependency_links.txt
coq_tools.egg-info/entry_points.txt
coq_tools.egg-info/top_level.txt