MANIFEST.in
setup.py
pyprover9/__init__.py
pyprover9/__init__.py~
pyprover9/diamond.p9
pyprover9/prove.p9
pyprover9/prover9
pyprover9/prover9-64
pyprover9/pyprover9.py
pyprover9.egg-info/PKG-INFO
pyprover9.egg-info/SOURCES.txt
pyprover9.egg-info/dependency_links.txt
pyprover9.egg-info/top_level.txt
pyprover9/problems/challenging/honey_crumpets.html
pyprover9/problems/challenging/honey_crumpets.p9
pyprover9/problems/challenging/impostor.html
pyprover9/problems/challenging/impostor.p9
pyprover9/problems/challenging/parts_and_overlaps.html
pyprover9/problems/challenging/parts_and_overlaps.p9
pyprover9/problems/challenging/problem_index.html
pyprover9/problems/first_order_intro/ballooning_pigs.html
pyprover9/problems/first_order_intro/ballooning_pigs.p9
pyprover9/problems/first_order_intro/barbara.html
pyprover9/problems/first_order_intro/barbara.p9
pyprover9/problems/first_order_intro/baroco.html
pyprover9/problems/first_order_intro/baroco.p9
pyprover9/problems/first_order_intro/celarent.html
pyprover9/problems/first_order_intro/celarent.p9
pyprover9/problems/first_order_intro/ferio.html
pyprover9/problems/first_order_intro/ferio.p9
pyprover9/problems/first_order_intro/greedy_rabbits.html
pyprover9/problems/first_order_intro/greedy_rabbits.p9
pyprover9/problems/first_order_intro/invalid_syllogism.html
pyprover9/problems/first_order_intro/invalid_syllogism.p9
pyprover9/problems/first_order_intro/jabberwock.html
pyprover9/problems/first_order_intro/jabberwock.p9
pyprover9/problems/first_order_intro/porky.html
pyprover9/problems/first_order_intro/porky.p9
pyprover9/problems/first_order_intro/problem_index.html
pyprover9/problems/first_order_intro/socrates.html
pyprover9/problems/first_order_intro/socrates.p9
pyprover9/problems/first_order_intro/young_rabbits.html
pyprover9/problems/first_order_intro/young_rabbits.p9
pyprover9/problems/propositional/appointment.html
pyprover9/problems/propositional/appointment.p9
pyprover9/problems/propositional/diamond.html
pyprover9/problems/propositional/diamond.p9
pyprover9/problems/propositional/dragons.html
pyprover9/problems/propositional/dragons.p9
pyprover9/problems/propositional/dry_thunder.html
pyprover9/problems/propositional/dry_thunder.p9
pyprover9/problems/propositional/lost_key.html
pyprover9/problems/propositional/lost_key.p9
pyprover9/problems/propositional/problem_index.html
pyprover9/problems/propositional/rembrandt.html
pyprover9/problems/propositional/rembrandt.p9
pyprover9/problems/propositional/sundays.html
pyprover9/problems/propositional/sundays.p9
pyprover9/problems/propositional/tarquin.html
pyprover9/problems/propositional/tarquin.p9
pyprover9/problems/propositional/tennis.html
pyprover9/problems/propositional/tennis.p9