Users

FORALL-entry.

Returns all users known in the ITP/MDK Repository.

Parameters: none.

Fields:

FORALL-Subentries: