Package dolmen.tptp

Library dolmen.tptp

The entry point of this library is the module: Dolmen_tptp.