README.md
pyproject.toml
clausal/modules/py/acl2.py
clausal_acl2.egg-info/PKG-INFO
clausal_acl2.egg-info/SOURCES.txt
clausal_acl2.egg-info/dependency_links.txt
clausal_acl2.egg-info/requires.txt
clausal_acl2.egg-info/top_level.txt
tests/test_acl2_bridge_stubbed.py
tests/test_acl2_doc_integrity.py