LICENCE.txt
README.md
setup.py
src/Macleod.egg-info/PKG-INFO
src/Macleod.egg-info/SOURCES.txt
src/Macleod.egg-info/dependency_links.txt
src/Macleod.egg-info/entry_points.txt
src/Macleod.egg-info/not-zip-safe
src/Macleod.egg-info/requires.txt
src/Macleod.egg-info/top_level.txt
src/macleod/Clif.py
src/macleod/ClifLemmaSet.py
src/macleod/ClifModule.py
src/macleod/ClifModuleSet.py
src/macleod/ColoreOutputCleaner.py
src/macleod/ColoreProver.py
src/macleod/Commands.py
src/macleod/Filemgt.py
src/macleod/Ladr.py
src/macleod/Ontology.py
src/macleod/Process.py
src/macleod/ProofStatistic.py
src/macleod/Reasoner.py
src/macleod/ReasonerSet.py
src/macleod/Vampire.py
src/macleod/__init__.py
src/macleod.egg-info/PKG-INFO
src/macleod.egg-info/SOURCES.txt
src/macleod.egg-info/dependency_links.txt
src/macleod.egg-info/entry_points.txt
src/macleod.egg-info/not-zip-safe
src/macleod.egg-info/requires.txt
src/macleod.egg-info/top_level.txt
src/macleod/dl/__init__.py
src/macleod/dl/filters.py
src/macleod/dl/owl.py
src/macleod/dl/patterns.py
src/macleod/dl/translation.py
src/macleod/dl/utilities.py
src/macleod/gui/Arborist.py
src/macleod/gui/__init__.py
src/macleod/gui/gui_alpha.py
src/macleod/gui/summary.py
src/macleod/gui/table.py
src/macleod/gui/gui_beta/__init__.py
src/macleod/gui/gui_beta/gui_filehelper.py
src/macleod/gui/gui_beta/gui_highlighter.py
src/macleod/gui/gui_beta/gui_main.py
src/macleod/gui/gui_beta/gui_settings.py
src/macleod/gui/gui_beta/gui_threads.py
src/macleod/gui/gui_beta/gui_tool.py
src/macleod/gui/gui_beta/gui_widgets.py
src/macleod/logical/__init__.py
src/macleod/logical/axiom.py
src/macleod/logical/comment.py
src/macleod/logical/commented_axiom.py
src/macleod/logical/connective.py
src/macleod/logical/import_statement.py
src/macleod/logical/logical.py
src/macleod/logical/module_declaration.py
src/macleod/logical/negation.py
src/macleod/logical/quantifier.py
src/macleod/logical/symbol.py
src/macleod/logical/utils.py
src/macleod/parsing/__init__.py
src/macleod/parsing/parser.py
src/macleod/scripts/__init__.py
src/macleod/scripts/check_consistency.py
src/macleod/scripts/check_consistency_all.py
src/macleod/scripts/check_consistency_lib.py
src/macleod/scripts/check_consistency_new.py
src/macleod/scripts/check_nontrivial_consistency.py
src/macleod/scripts/clif_converter.py
src/macleod/scripts/delete_output.py
src/macleod/scripts/licence.py
src/macleod/scripts/parser.py
src/macleod/scripts/parserlib.py
src/macleod/scripts/prove_lemma.py
src/macleod/scripts/prove_lemma_all.py
src/macleod/scripts/prove_lemma_lib.py
src/macleod/scripts/prove_lemma_new.py
src/macleod/scripts/test.py
src/p9_tools/__init__.py
src/p9_tools/config.py
src/p9_tools/insertion/__init__.py
src/p9_tools/insertion/construct.py
src/p9_tools/insertion/insertion.py
src/p9_tools/insertion/remove_duplicate_chains.py
src/p9_tools/parse/__init__.py
src/p9_tools/parse/model.py
src/p9_tools/parse/theory.py
src/p9_tools/relationship/__init__.py
src/p9_tools/relationship/files.py
src/p9_tools/relationship/relationship.py