Directory listing for heyting-algebras-0.2.0.1 candidate source tarball

heyting-algebras-0.2.0.1/