[To Parent Directory]
2/14/2019 4:48 PM 845 __init__.cpython-36.pyc
2/14/2019 4:48 PM 21437 api.cpython-36.pyc
2/14/2019 4:48 PM 21017 discourse.cpython-36.pyc
11/16/2021 7:10 AM 10718 mace.cpython-36.pyc
2/14/2019 4:48 PM 16701 nonmonotonic.cpython-36.pyc
2/14/2019 4:48 PM 12814 prover9.cpython-36.pyc
2/14/2019 4:48 PM 21245 resolution.cpython-36.pyc
2/14/2019 4:48 PM 18813 tableau.cpython-36.pyc