angles | TPDB.Pretty |
anylist | TPDB.Plain.Read |
Arctic | |
1 (Data Constructor) | TPDB.CPF.Proof.Type |
2 (Data Constructor) | TPDB.Rainbow.Proof.Type |
Arctic_Below_Zero | TPDB.Rainbow.Proof.Type |
arity | |
1 (Function) | TPDB.Data, TPDB.XTC |
2 (Function) | TPDB.CPF.Proof.Type |
As_SRS | TPDB.Rainbow.Proof.Type |
As_TRS | TPDB.Rainbow.Proof.Type |
atTag | TPDB.XTC.Read, TPDB.XTC |
Auxiliary | TPDB.DP |