LICENSE
NOTICE
README.md
pyproject.toml
setup.cfg
NQPV.egg-info/PKG-INFO
NQPV.egg-info/SOURCES.txt
NQPV.egg-info/dependency_links.txt
NQPV.egg-info/requires.txt
NQPV.egg-info/top_level.txt
nqpv/__init__.py
nqpv/entrance.py
nqpv/dts/__init__.py
nqpv/dts/type_hierarchy.py
nqpv/vsystem/__init__.py
nqpv/vsystem/log_system.py
nqpv/vsystem/optenv.py
nqpv/vsystem/settings.py
nqpv/vsystem/vkernel.py
nqpv/vsystem/content/__init__.py
nqpv/vsystem/content/opt_kernel.py
nqpv/vsystem/content/opt_pair_term.py
nqpv/vsystem/content/opt_term.py
nqpv/vsystem/content/prog_term.py
nqpv/vsystem/content/proof_hint_term.py
nqpv/vsystem/content/proof_tacits.py
nqpv/vsystem/content/proof_term.py
nqpv/vsystem/content/qpre_term.py
nqpv/vsystem/content/qvarls_term.py
nqpv/vsystem/content/scope_term.py
nqpv/vsystem/syntax/__init__.py
nqpv/vsystem/syntax/ast.py
nqpv/vsystem/syntax/parsetab.py
nqpv/vsystem/syntax/pos_info.py
nqpv/vsystem/syntax/vlexer.py
nqpv/vsystem/syntax/vparser.py