nabl-uri-generic and friends where introduced, since URIs where supported in arbitrary terms. In the current implementation, this is not needed, because URIs are restricted to certain kinds of terms, for which we know where to find them. Thus, the generic implementation is not needed, but gives runtime overhead.

Submitted by Guido Wachsmuth on 30 June 2013 at 15:10

Removed, along with other legacy stuff from the index that is not needed any more.