RepositoryInstance

WITH-entry.

Parameters:

Fields:

FORALL-Subentries:

The following all represent objects that are imported from this ITP/MDK Repository instance. They are all empty for the current ITP/MDK Repository.