Directory listing for heyting-algebras-0.2.0.0 candidate source tarball

heyting-algebras-0.2.0.0/test/