Directory listing for copilot-theorem-3.2 candidate source tarball

copilot-theorem-3.2/