Index of exceptions

Exception to be raised when a ground term proving non-inclusion has been found.

Exception to be raised when a HTML id tag can't be found.