Directory listing for Hoed-0.3.6 source tarball

Hoed-0.3.6/examples/CNF_unsound_demorgan__with_properties/