setup.py
proofchecker/__init__.py
proofchecker/config.py
proofchecker/htmlparsing.py
proofchecker/proofs.py
proofchecker/sites.py
proofchecker.egg-info/PKG-INFO
proofchecker.egg-info/SOURCES.txt
proofchecker.egg-info/dependency_links.txt
proofchecker.egg-info/not-zip-safe
proofchecker.egg-info/requires.txt
proofchecker.egg-info/top_level.txt
proofchecker/domain/__init__.py
proofchecker/domain/domain.py