tcap | TPDB.DP.TCap |
Term | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
Termination | TPDB.Data, TPDB.XTC |
TES | TPDB.Data, TPDB.XTC, TPDB.CPF.Proof.Type |
text | TPDB.Pretty |
Theory_Declaration | TPDB.Plain.Read |
times | TPDB.DP.Unify |
ToExotic | TPDB.CPF.Proof.Type |
toExotic | TPDB.CPF.Proof.Type |
Tool | |
1 (Type/Class) | TPDB.CPF.Proof.Type |
2 (Data Constructor) | TPDB.CPF.Proof.Type |
tool | TPDB.CPF.Proof.Type |
top | TPDB.Data, TPDB.XTC |
tox | TPDB.CPF.Proof.Write, TPDB.CPF.Proof.Xml |
Tropical | TPDB.CPF.Proof.Type |
TRS | TPDB.Data, TPDB.XTC |
trs | |
1 (Function) | TPDB.Data, TPDB.XTC |
2 (Function) | TPDB.Plain.Read |
3 (Function) | TPDB.CPF.Proof.Type |
trs2srs | TPDB.Convert |
TrsInput | TPDB.CPF.Proof.Type |
trsinput_trs | TPDB.CPF.Proof.Type |
TrsNonterminationProof | |
1 (Type/Class) | TPDB.CPF.Proof.Type |
2 (Data Constructor) | TPDB.CPF.Proof.Type |
TrsNonterminationProofFIXME | TPDB.CPF.Proof.Type |
TrsTerminationProof | |
1 (Type/Class) | TPDB.CPF.Proof.Type |
2 (Data Constructor) | TPDB.CPF.Proof.Type |
trsTerminationProof | TPDB.CPF.Proof.Type |
Type | TPDB.Data, TPDB.XTC |
type_ | TPDB.Data, TPDB.XTC |