| $$ | TPDB.Pretty |
| <+> | TPDB.Pretty |
| <> | TPDB.Pretty |
| 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 |
| Bounded_Matrix_Interpretation | TPDB.Rainbow.Proof.Type |
| braces | TPDB.Pretty |
| brackets | TPDB.Pretty |
| carrierSize | TPDB.CPF.Proof.Type |
| CertificationProblem | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| CertificationProblemInput | TPDB.CPF.Proof.Type |
| Claim | |
| 1 (Type/Class) | TPDB.Rainbow.Proof.Type |
| 2 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| claim | TPDB.Rainbow.Proof.Type |
| Coefficient | TPDB.CPF.Proof.Type |
| coefficients | TPDB.Rainbow.Proof.Type |
| Coefficient_Coefficient | TPDB.CPF.Proof.Type |
| comma | TPDB.Pretty |
| complain | TPDB.Xml |
| Complexity | |
| 1 (Data Constructor) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| content | TPDB.Xml.Pretty |
| Contents | TPDB.Xml |
| convert_srs_rule | TPDB.Convert |
| convert_trs_rule | TPDB.Convert |
| cp | TPDB.Xml.Pretty |
| CParser | |
| 1 (Type/Class) | TPDB.Xml |
| 2 (Data Constructor) | TPDB.Xml |
| cpfVersion | TPDB.CPF.Proof.Type |
| Declaration | TPDB.Plain.Read |
| declaration | TPDB.Plain.Read |
| degree | TPDB.Rainbow.Proof.Type |
| dimension | TPDB.CPF.Proof.Type |
| displayIO | TPDB.Pretty |
| Doc | TPDB.Pretty |
| doctypedecl | TPDB.Xml.Pretty |
| document | TPDB.Xml.Pretty |
| Domain | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Type/Class) | TPDB.Rainbow.Proof.Type |
| domain | TPDB.CPF.Proof.Type |
| DP | TPDB.Rainbow.Proof.Type |
| dp | TPDB.DP |
| DpProof | TPDB.CPF.Proof.Type |
| DPS | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| DpTrans | TPDB.CPF.Proof.Type |
| dptrans_dpProof | TPDB.CPF.Proof.Type |
| dptrans_dps | TPDB.CPF.Proof.Type |
| dp_orderingConstraintProof | TPDB.CPF.Proof.Type |
| element | |
| 1 (Function) | TPDB.Xml.Pretty |
| 2 (Function) | TPDB.Xml |
| element0 | TPDB.Xml |
| empty | TPDB.Pretty |
| enclose | TPDB.Pretty |
| Equal | TPDB.Data, TPDB.XTC |
| equal | TPDB.Data, TPDB.XTC |
| equal_rules | TPDB.Data, TPDB.XTC |
| errmsg | TPDB.Xml |
| escape | TPDB.Xml |
| Exotic | TPDB.CPF.Proof.Type |
| Exponential | TPDB.Rainbow.Proof.Type |
| externalize | TPDB.Rainbow.Proof.Xml |
| E_Integer | TPDB.CPF.Proof.Type |
| E_Rational | TPDB.CPF.Proof.Type |
| FiniteModel | TPDB.CPF.Proof.Type |
| from_strict_rules | TPDB.Data, TPDB.XTC |
| fsep | TPDB.Pretty |
| Full | TPDB.Data, TPDB.XTC |
| Function | TPDB.Rainbow.Proof.Type |
| get | TPDB.Input |
| getChild | TPDB.XTC.Read, TPDB.XTC |
| getE | TPDB.Input |
| getE_trs | TPDB.Input |
| getFunApp | TPDB.XTC.Read, TPDB.XTC |
| getFuncsym | TPDB.XTC.Read, TPDB.XTC |
| getProblem | TPDB.XTC.Read, TPDB.XTC |
| getRule | TPDB.XTC.Read, TPDB.XTC |
| getRules | TPDB.XTC.Read, TPDB.XTC |
| getSignature | TPDB.XTC.Read, TPDB.XTC |
| getStartterm | TPDB.XTC.Read, TPDB.XTC |
| getStrategy | TPDB.XTC.Read, TPDB.XTC |
| getTerm | TPDB.XTC.Read, TPDB.XTC |
| getTRS | TPDB.XTC.Read, TPDB.XTC |
| getType | TPDB.XTC.Read, TPDB.XTC |
| getVar | TPDB.XTC.Read, TPDB.XTC |
| get_srs | TPDB.Input |
| get_trs | TPDB.Input |
| gotoChild | TPDB.XTC.Read, TPDB.XTC |
| hcat | TPDB.Pretty |
| HDE | TPDB.Rainbow.Proof.Type |
| HDE_Marked | TPDB.Rainbow.Proof.Type |
| Hd_Mark | TPDB.Rainbow.Proof.Type |
| hsep | TPDB.Pretty |
| Identifier | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC, TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| info | TPDB.Xml |
| Innermost | TPDB.Data, TPDB.XTC |
| input | TPDB.CPF.Proof.Type |
| Interpret | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| Interpretation | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| 3 (Type/Class) | TPDB.Rainbow.Proof.Type |
| 4 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| interpretation | TPDB.CPF.Proof.Type |
| Interpretation_Type | TPDB.CPF.Proof.Type |
| interpretation_type | TPDB.CPF.Proof.Type |
| interprets | TPDB.CPF.Proof.Type |
| Int_Mark | TPDB.Rainbow.Proof.Type |
| isvar | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| leafpos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| lexer | TPDB.Plain.Read |
| lhs | TPDB.Data, TPDB.XTC |
| lsyms | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| lvars | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| mai | TPDB.Rainbow.Proof.Xml |
| make_srs | TPDB.Plain.Read |
| make_trs | TPDB.Plain.Read |
| MannaNess | TPDB.Rainbow.Proof.Type |
| many | TPDB.Xml |
| Marked | |
| 1 (Type/Class) | TPDB.DP |
| 2 (Data Constructor) | TPDB.DP |
| 3 (Type/Class) | TPDB.Rainbow.Proof.Type |
| markedSymbols | TPDB.CPF.Proof.Type |
| MarkSymb | TPDB.Rainbow.Proof.Type |
| Matrix | |
| 1 (Data Constructor) | TPDB.CPF.Proof.Type |
| 2 (Type/Class) | TPDB.Rainbow.Proof.Type |
| 3 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| Matrix_Int | TPDB.Rainbow.Proof.Type |
| Matrix_Interpretation | TPDB.CPF.Proof.Type |
| MaxPlus | TPDB.Rainbow.Proof.Type |
| MaxPlusFinite | TPDB.Rainbow.Proof.Type |
| MinPlus | TPDB.Rainbow.Proof.Type |
| MinPlusFinite | TPDB.Rainbow.Proof.Type |
| MinusInfinite | TPDB.Rainbow.Proof.Type |
| Minus_Infinite | TPDB.CPF.Proof.Type |
| mirror | TPDB.Mirror |
| mi_args | TPDB.Rainbow.Proof.Type |
| mi_const | TPDB.Rainbow.Proof.Type |
| mi_dim | TPDB.Rainbow.Proof.Type |
| mi_domain | TPDB.Rainbow.Proof.Type |
| mi_duration | TPDB.Rainbow.Proof.Type |
| mi_end | TPDB.Rainbow.Proof.Type |
| Mi_Fun | |
| 1 (Type/Class) | TPDB.Rainbow.Proof.Type |
| 2 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| mi_int | TPDB.Rainbow.Proof.Type |
| mi_start | TPDB.Rainbow.Proof.Type |
| mk | TPDB.Data, TPDB.XTC |
| mkel | TPDB.Xml |
| mknullary | TPDB.Data, TPDB.XTC |
| mkunary | TPDB.Data, TPDB.XTC |
| Model | TPDB.CPF.Proof.Type |
| model | TPDB.CPF.Proof.Type |
| must_succeed | TPDB.Xml |
| name | |
| 1 (Function) | TPDB.Data, TPDB.XTC |
| 2 (Function) | TPDB.CPF.Proof.Type |
| Natural | TPDB.Rainbow.Proof.Type |
| Naturals | TPDB.CPF.Proof.Type |
| nest | TPDB.Pretty |
| Node | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| OrderingConstraintProof | TPDB.CPF.Proof.Type |
| orelse | TPDB.Xml |
| Origin | TPDB.CPF.Proof.Type |
| origin | TPDB.CPF.Proof.Type |
| Original | TPDB.DP |
| Outermost | TPDB.Data, TPDB.XTC |
| Over_Graph | TPDB.Rainbow.Proof.Type |
| parens | TPDB.Pretty |
| Parser | TPDB.Plain.Read |
| peek | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| peek_symbol | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| PIsEmpty | TPDB.CPF.Proof.Type |
| Plain | TPDB.CPF.Proof.Type |
| PlusInfinite | TPDB.Rainbow.Proof.Type |
| Plus_Infinite | TPDB.CPF.Proof.Type |
| pmap | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| poke | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| pokes | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| poke_symbol | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Polynomial | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| 3 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| Polynomial_Coefficient | TPDB.CPF.Proof.Type |
| Polynomial_Int | TPDB.Rainbow.Proof.Type |
| Polynomial_Variable | TPDB.CPF.Proof.Type |
| Poly_Fun | |
| 1 (Type/Class) | TPDB.Rainbow.Proof.Type |
| 2 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| pos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Position | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| positions | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Pretty | TPDB.Pretty |
| pretty | TPDB.Pretty |
| prettyList | TPDB.Pretty |
| PrettyTerm | TPDB.Plain.Write |
| prettyTerm | TPDB.Plain.Write |
| Problem | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| Product | TPDB.CPF.Proof.Type |
| prolog | TPDB.Xml.Pretty |
| Proof | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Type/Class) | TPDB.Rainbow.Proof.Type |
| 3 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| proof | TPDB.CPF.Proof.Type |
| ProofOrigin | TPDB.CPF.Proof.Type |
| Property | TPDB.Rainbow.Proof.Type |
| property | TPDB.Rainbow.Proof.Type |
| punctuate | TPDB.Pretty |
| Rationals | TPDB.CPF.Proof.Type |
| Reader | TPDB.Plain.Read |
| reader | TPDB.Plain.Read |
| readProblems | TPDB.XTC.Read, TPDB.XTC |
| Reason | TPDB.Rainbow.Proof.Type |
| reason | TPDB.Rainbow.Proof.Type |
| RedPair | TPDB.CPF.Proof.Type |
| RedPairProc | TPDB.CPF.Proof.Type |
| redpairproc_dpProof | TPDB.CPF.Proof.Type |
| Red_Ord | TPDB.Rainbow.Proof.Type |
| Red_Ord_Matrix_Int | TPDB.Rainbow.Proof.Type |
| Red_Ord_Polynomial_Int | TPDB.Rainbow.Proof.Type |
| Red_Ord_Simple_Projection | TPDB.Rainbow.Proof.Type |
| Red_Ord_Usable_Rules | TPDB.Rainbow.Proof.Type |
| red_pair_dps | TPDB.CPF.Proof.Type |
| Relation | TPDB.Data, TPDB.XTC |
| relation | TPDB.Data, TPDB.XTC |
| render | TPDB.Pretty |
| renderCompact | TPDB.Pretty |
| repair_signature_srs | TPDB.Plain.Read |
| repair_signature_trs | TPDB.Plain.Read |
| repair_variables | TPDB.Plain.Read |
| Reverse | TPDB.Rainbow.Proof.Type |
| RFC | TPDB.Rainbow.Proof.Type |
| rhs | TPDB.Data, TPDB.XTC |
| RIsEmpty | TPDB.CPF.Proof.Type |
| rmkel | TPDB.Xml |
| rpmap | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| rr_orderingConstraintProof | TPDB.CPF.Proof.Type |
| RS | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| Rule | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| RuleRemoval | TPDB.CPF.Proof.Type |
| rules | TPDB.Data, TPDB.XTC |
| Rules_Declaration | TPDB.Plain.Read |
| SCC | TPDB.Rainbow.Proof.Type |
| Semlab | TPDB.CPF.Proof.Type |
| separate | TPDB.Data, TPDB.XTC |
| SES | TPDB.Data, TPDB.XTC |
| Sharp | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| sharp_name_HACK | TPDB.Data.Xml |
| signature | TPDB.Data, TPDB.XTC |
| SimpleDoc | TPDB.Pretty |
| Simple_Projection | |
| 1 (Type/Class) | TPDB.Rainbow.Proof.Type |
| 2 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| spine | TPDB.Convert |
| SRS | TPDB.Data, TPDB.XTC |
| srs | TPDB.Plain.Read |
| srs2trs | TPDB.Convert |
| Startterm | TPDB.Data, TPDB.XTC |
| startterm | TPDB.Data, TPDB.XTC |
| Startterm_Constructor_based | TPDB.Data, TPDB.XTC |
| Startterm_Full | TPDB.Data, TPDB.XTC |
| Strategy | TPDB.Data, TPDB.XTC |
| strategy | TPDB.Data, TPDB.XTC |
| Strategy_Declaration | TPDB.Plain.Read |
| Strict | TPDB.Data, TPDB.XTC |
| strict | TPDB.Data, TPDB.XTC |
| strictDimension | TPDB.CPF.Proof.Type |
| strict_rules | TPDB.Data, TPDB.XTC |
| StringReversal | TPDB.CPF.Proof.Type |
| strip | TPDB.Xml |
| subterms | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Sum | TPDB.CPF.Proof.Type |
| symbol | TPDB.CPF.Proof.Type |
| sympos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| syms | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| symsl | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| system | TPDB.Rainbow.Proof.Type |
| Term | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Termination | |
| 1 (Data Constructor) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| TES | TPDB.Data, TPDB.XTC, TPDB.CPF.Proof.Type |
| text | TPDB.Pretty |
| Theory_Declaration | TPDB.Plain.Read |
| 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 |
| top | TPDB.Data, TPDB.XTC |
| toplevel | TPDB.Rainbow.Proof.Xml |
| Top_Termination | TPDB.Rainbow.Proof.Type |
| tox | |
| 1 (Function) | TPDB.Rainbow.Proof.Xml |
| 2 (Function) | TPDB.CPF.Proof.Xml |
| Trivial | TPDB.Rainbow.Proof.Type |
| Tropical | |
| 1 (Data Constructor) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.Rainbow.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 |
| 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 |
| unCParser | TPDB.Xml |
| Undo_RFC | TPDB.Rainbow.Proof.Type |
| Unknown | TPDB.Rainbow.Proof.Type |
| Unknown_Declaration | TPDB.Plain.Read |
| Unlab | TPDB.CPF.Proof.Type |
| unP | TPDB.Rainbow.Proof.Xml |
| unspine | TPDB.Convert |
| Usable_Rules | |
| 1 (Type/Class) | TPDB.Rainbow.Proof.Type |
| 2 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| Value | TPDB.CPF.Proof.Type |
| value | TPDB.CPF.Proof.Type |
| Var | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| varpos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| vars | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Var_Declaration | TPDB.Plain.Read |
| vcat | TPDB.Pretty |
| Vector | |
| 1 (Data Constructor) | TPDB.CPF.Proof.Type |
| 2 (Type/Class) | TPDB.Rainbow.Proof.Type |
| 3 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| version | TPDB.CPF.Proof.Type |
| vmap | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| voccs | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| vsep | TPDB.Pretty |
| Weak | TPDB.Data, TPDB.XTC |
| weak | TPDB.Data, TPDB.XTC |
| weak_rules | TPDB.Data, TPDB.XTC |
| with_rules | TPDB.Data, TPDB.XTC |
| wrap | TPDB.Xml |
| xfromstring | TPDB.Xml |
| Xml_As_String | |
| 1 (Type/Class) | TPDB.Rainbow.Proof.Xml |
| 2 (Data Constructor) | TPDB.Rainbow.Proof.Xml |
| XRead | TPDB.Xml |
| xread | TPDB.Xml |
| _identifier_hash | TPDB.Data, TPDB.XTC |