Index - C
| canonicalise | |
| 1 (Function) | Twee.Term |
| 2 (Function) | Twee.Base |
| canSimplify | Twee.Rule |
| canSimplifyList | Twee.Rule |
| cat | Twee.Pretty, Twee.Base |
| certify | Twee.Proof |
| cfg_accept_term | Twee |
| cfg_all_lemmas | Twee.Proof |
| cfg_critical_pairs | Twee |
| cfg_depthweight | Twee.CP |
| cfg_dupcost | Twee.CP |
| cfg_dupfactor | Twee.CP |
| cfg_funweight | Twee.CP |
| cfg_ground_join | Twee.Join |
| cfg_join | Twee |
| cfg_lhsweight | Twee.CP |
| cfg_max_cp_depth | Twee |
| cfg_max_critical_pairs | Twee |
| cfg_no_lemmas | Twee.Proof |
| cfg_proof_presentation | Twee |
| cfg_renormalise_percent | Twee |
| cfg_rhsweight | Twee.CP |
| cfg_set_join | Twee.Join |
| cfg_show_instances | Twee.Proof |
| cfg_simplify | Twee |
| cfg_use_connectedness | Twee.Join |
| cfg_varweight | Twee.CP |
| char | Twee.Pretty, Twee.Base |
| checkProvedGoal | Twee.Proof |
| checkTask | Twee.Task |
| children | Twee.Term, Twee.Base |
| Chr | Twee.Pretty, Twee.Base |
| clearMessages | Twee |
| close | Twee.Term, Twee.Base |
| collate | Twee.Utils |
| colon | Twee.Pretty, Twee.Base |
| comma | Twee.Pretty, Twee.Base |
| complete | Twee |
| complete1 | Twee |
| completePure | Twee |
| con | Twee.Term, Twee.Base |
| Config | |
| 1 (Type/Class) | Twee.Proof |
| 2 (Data Constructor) | Twee.Proof |
| 3 (Type/Class) | Twee.CP |
| 4 (Data Constructor) | Twee.CP |
| 5 (Type/Class) | Twee.Join |
| 6 (Data Constructor) | Twee.Join |
| 7 (Type/Class) | Twee |
| 8 (Data Constructor) | Twee |
| configIsComplete | Twee |
| Cong | |
| 1 (Data Constructor) | Twee.Proof |
| 2 (Data Constructor) | Twee.Rule |
| cong | |
| 1 (Function) | Twee.Proof |
| 2 (Function) | Twee.Rule |
| congPath | Twee.Proof |
| conj | Twee.Constraints |
| Cons | Twee.Term, Twee.Base |
| consider | Twee |
| considerUsing | Twee |
| ConsP | Twee.CP |
| ConsSym | Twee.Term, Twee.Base |
| Constant | Twee.Constraints |
| ConstantOf | Twee.Base |
| contradictory | Twee.Constraints |
| cp_depth | Twee.CP |
| cp_eqn | Twee.CP |
| cp_proof | Twee.CP |
| cp_top | Twee.CP |
| CriticalPair | |
| 1 (Type/Class) | Twee.CP |
| 2 (Data Constructor) | Twee.CP |
| curried | Twee.Pretty, Twee.Base |