You can search for identifiers within the package.
in-package search v0.2.0
Libzipperposition
Libzipperposition_avatar
Libzipperposition_calculi
Libzipperposition_induction
Libzipperposition_phases