-
Andrei Paskevich authored
The full name includes the library path to the theory/module (if any), and the qualifier prefix of the ident in the theory/module.
f709f96d
The full name includes the library path to the theory/module (if any), and the qualifier prefix of the ident in the theory/module.