Directory listing for free-4.6 source tarball

free-4.6/doc/proof/Control/Comonad/